BuTools 2: a Rich Toolbox for Markovian Performance Evaluation

BuTools 2 is collection of computational methods that are useful for Markovian and non-Markovian matrix analytic performance analysis. It consists of various packages. There are packages to obtain, analyze, transform and minimize discrete and continuous time phase-type (PH) distributions and Markovian arrival processes (MAP); to fit empirical measurement data and to evaluate the result; to solve many performance measures of various Markovian queueing systems; and to solve block-structured Markov chains. All three major mathematical frameworks are supported: BuTools is released for MATLAB, Mathematica and NumPy/IPython as well, with the same features, with the same call interfaces. Every function is documented, the documentation is supplemented by many examples and the related citations. BuTools uses the state-of-the art algorithms and apart of the basic functionalities it contains several unique, difficult to implement procedures as well.

[1]  Peter Buchholz,et al.  A novel approach for fitting probability distributions to real trace data with the EM algorithm , 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).

[2]  B. Meini,et al.  Structured Markov chains solver: software tools , 2006, SMCtools '06.

[3]  Mogens Bladt,et al.  Point processes with finite-dimensional conditional probabilities , 1999 .

[4]  Gábor Horváth,et al.  Matching marginal moments and lag autocorrelations with MAPs , 2013, VALUETOOLS.

[5]  A. Horváth,et al.  Matching Three Moments with Minimal Acyclic Phase Type Distributions , 2005 .

[6]  Miklós Telek,et al.  On the Canonical Representation of Order 3 Discrete Phase Type Distributions , 2015, UKPEW.

[7]  Peter Buchholz,et al.  On minimal representations of Rational Arrival Processes , 2013, Ann. Oper. Res..

[8]  C. Commault,et al.  Sparse representations of phase-type distributions , 1999 .

[9]  G. Latouche,et al.  Fluid queues: building upon the analogy with QBD processes , 2005 .

[10]  Gábor Horváth,et al.  Efficient analysis of the MMAP[K]/PH[K]/1 priority queue , 2015, Eur. J. Oper. Res..

[11]  Gábor Horváth,et al.  On the canonical representation of phase type distributions , 2009, Perform. Evaluation.

[12]  Kenneth Mitchell,et al.  Approximation models of feed-forward G/G/1/N queueing networks with correlated arrivals , 2003, Perform. Evaluation.

[13]  Qi-Ming He,et al.  Age Process, Workload Process, Sojourn Times, and Waiting Times in a Discrete Time SM[K]/PH[K]/1/FCFS Queue , 2005, Queueing Syst. Theory Appl..

[14]  Vaidyanathan Ramaswami,et al.  Introduction to Matrix Analytic Methods in Stochastic Modeling , 1999, ASA-SIAM Series on Statistics and Applied Mathematics.

[15]  Gábor Horváth,et al.  Sojourn times in fluid queues with independent and dependent input and output processes , 2014, Perform. Evaluation.

[16]  Gábor Horváth,et al.  A minimal representation of Markov arrival processes and a moments matching method , 2007, Perform. Evaluation.

[17]  Lester Lipsky,et al.  Queueing Theory: A Linear Algebraic Approach , 1992 .

[18]  Miklós Telek,et al.  Canonical Representation of Discrete Order 2 MAP and RAP , 2013, EPEW.

[19]  Gábor Horváth,et al.  A Markovian canonical form of second-order matrix-exponential processes , 2008, Eur. J. Oper. Res..

[20]  Miklós Telek,et al.  Canonical representation of discrete phase type distributions of order 2 and 3 , 2013 .

[21]  Gábor Horváth,et al.  A Fast EM Algorithm for Fitting Marked Markovian Arrival Processes with a New Special Structure , 2013, EPEW.

[22]  M. Telek,et al.  Moment Bounds for Acyclic Discrete and Continuous Phase Type Distributions of Second Order , 2002 .

[23]  Toshihisa Ozawa,et al.  Sojourn time distributions in the queue defined by a general QBD process , 2006, Queueing Syst. Theory Appl..

[24]  Philipp Reinecke,et al.  Does a given vector-matrix pair correspond to a PH distribution? , 2014, Perform. Evaluation.