Analysis of stochastic Petri nets with signals

Product-form models facilitate the efficient analysis of large stochastic models and have been sought after for some three decades. Apart from the dominating work on queueing networks, some product-forms were found for stochastic Petri nets (SPNs) that allow fork-join constructs and for queueing networks extended to include special customers called signals, viz. G-networks. We appeal to the Reversed Compound Agent Theorem (RCAT) to prove new product-form solutions for SPNs in which there are special transitions, the firings of which act in a similar way to signals in G-networks, but which may be generated by synchronised firings (or service completions) and may affect several places simultaneously. We show that SPNs with signals are strict generalisations of G-networks with negative customers, triggers and catastrophes, and illustrate with copious examples.

[1]  Michael Pinedo,et al.  Queueing networks - customers, signals and product form solutions , 1999, Wiley-Interscience series in systems and optimization.

[2]  E. Gelenbe.  Product-form queueing networks with negative and positive customers , 1991 .

[3]  Jean Mairesse,et al.  Deficiency Zero Petri Nets and Product Form , 2009, Fundam. Informaticae.

[4]  Erol Gelenbe,et al.  Analysis and Synthesis of Computer Systems: Texts) , 2010 .

[5]  K. Mani Chandy,et al.  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers , 1975, JACM.

[6]  J.R. Artalejo,et al.  G-networks: A versatile approach for work removal in queueing networks , 2000, Eur. J. Oper. Res..

[7]  Anthony Unwin,et al.  Reversibility and Stochastic Networks , 1980 .

[8]  Peter G. Harrison.  Compositional reversed Markov processes, with applications to G-networks , 2004, Perform. Evaluation.

[9]  Peter G. Harrison,et al.  Separable equilibrium state probabilities via time reversal in Markovian process algebra , 2005, Theor. Comput. Sci..

[10]  L. Brouwer.  Über eineindeutige, stetige Transformationen von Flächen in sich , 1910 .

[11]  Erol Gelenbe,et al.  Random Neural Networks with Negative and Positive Signals and Product Form Solution , 1989, Neural Computation.

[12]  Manuel Silva Suárez,et al.  Product-form and stochastic Petri nets: a structural approach , 2005, Perform. Evaluation.

[13]  Guy Pujolle,et al.  Introduction to queueing networks , 1987 .

[14]  Jean-Michel Fourneau,et al.  Multiple class G-networks with jumps back to zero , 1995, MASCOTS '95. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems.

[15]  Erol Gelenbe.  G-Networks with Signals and Batch Removal , 1993 .

[16]  Peter G. Harrison,et al.  Methodological construction of product-form stochastic Petri nets for performance evaluation , 2012, J. Syst. Softw..

[17]  Erol Gelenbe,et al.  G-networks with resets , 2001, PERV.

[18]  Jean-Michel Fourneau,et al.  Computing the Steady-State Distribution of G-networks with Synchronized Partial Flushing , 2006, ISCIS.

[19]  K. Banasiewicz.  Economic and organizational effects of different legal and organizational forms of enterprises , 2006 .

[20]  Erol Gelenbe,et al.  Flow equivalence and stochastic equivalence in G-networks , 2004, Comput. Manag. Sci..

[21]  E. Gelenbe.  G-networks by triggered customer movement , 1993 .

[22]  Jean-Michel Fourneau,et al.  G-networks with synchronised arrivals , 2011, Perform. Evaluation.

[23]  Erol Gelenbe,et al.  G-networks: a unifying model for neural and queueing networks , 1993, MASCOTS.

[24]  Jean-Yves Le Boudec.  A BCMP extension to multiserver stations with concurrent classes of customers , 1986, SIGMETRICS '86/PERFORMANCE '86.

[25]  Peter G. Taylor,et al.  A net level performance analysis of stochastic Petri nets , 1989, The Journal of the Australian Mathematical Society. Series B. Applied Mathematics.

[26]  Erol Gelenbe,et al.  Stability of Product Form G-Networks , 1992 .

[27]  L. Brouwer.  Über eineindeutige, stetige Transformationen von Flächen in sich , 1910 .

[28]  Peter G. Harrison,et al.  Reliability modelling using G-queues , 2000, Eur. J. Oper. Res..

[29]  Marco Ajmone Marsan,et al.  Performance models of multiprocessor systems , 1987, MIT Press series in computer systems.

[30]  James R. Jackson,et al.  Jobshop-Like Queueing Systems , 2004, Manag. Sci..

[31]  Erol Gelenbe,et al.  Analysis and Synthesis of Computer Systems , 1980 .

[32]  Erol Gelenbe,et al.  G-networks with multiple classes of signals and positive customers , 1998, Eur. J. Oper. Res..

[33]  Erol Gelenbe,et al.  G-Networks with Multiple Classes of Negative and Positive Customers , 1996, Theor. Comput. Sci..

[34]  Erol Gelenbe,et al.  On G-networks and resource allocation in multimedia systems , 1998, Proceedings Eighth International Workshop on Research Issues in Data Engineering. Continuous-Media Databases and Applications.

[35]  Peter G. Taylor,et al.  Product form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets , 1996, Perform. Evaluation.

[36]  Peter G. Harrison,et al.  Turning back time in Markovian process algebra , 2003, Theor. Comput. Sci..

[37]  Erol Gelenbe.  The first decade of G-networks , 2000, Eur. J. Oper. Res..

[38]  Erol Gelenbe,et al.  Product form networks with negative and positive customers , 1991 .

[39]  Xiuli Chao,et al.  A queueing network model with catastrophes and product form solution , 1995, Oper. Res. Lett..