Introduction to Stochastic Petri Nets

Stochastic Petri Nets are a modelling formalism that can be conveniently used for the analysis of complex models of Discrete Event Dynami Systems (DEDS) and for their performance and reliability evaluation. The automatic construction of the probabilistic models that underly the dynamic behaviours of these nets rely on a set of results that derive from the theory of untimed Petri nets. The paper introduces the basic motivations for modelling DEDS and briefly overviews the basic results of net theory that are useful for the definition of Stochastic Petri Nets and Generalized Stochastic Petri Nets. The different approaches that have been used for introducing the concept of time in these models are discussed in order to provide the basis for the definition of SPNs and GSPNs as well. Details on the solution techniques and on their computational aspects are provided. A brief overview of more advanced material is included at the end of the paper to highlight the state of the art in this field and to give pointers to relevant results published in the literature.

[1]  Gianfranco Balbo,et al.  Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[2]  Ajmone MarsanMarco,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984 .

[3]  C. Loan,et al.  Nineteen Dubious Ways to Compute the Exponential of a Matrix , 1978 .

[4]  William H. Sanders,et al.  Stochastic Activity Networks: Structure, Behavior, and Application , 1985, PNPM.

[5]  Giovanni Chiola,et al.  GSPNs versus SPNs: what is the actual role of immediate transitions? , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[6]  Giovanni Chiola,et al.  Colored GSPN models and automatic symmetry detection , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[7]  Wlodzimierz M. Zuberek,et al.  Timed Petri nets and preliminary performance evaluation , 1980, ISCA '80.

[8]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[9]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities , 1987, PNPM.

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

[11]  Joseph Sifakis,et al.  Use of Petri nets for performance evaluation , 1977, Acta Cybern..

[12]  C. A. Petri.  Communication with automata , 1966 .

[13]  Manuel Silva,et al.  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[14]  J. Gillis,et al.  Matrix Iterative Analysis , 1961 .

[15]  Gianfranco Ciardo,et al.  A Characterization of the Stochastic Process Underlying a Stochastic Petri Net , 1994, IEEE Trans. Software Eng..

[16]  Gary J. Nutt,et al.  Macro E-Nets for Representation of Parallel Systems , 1973, IEEE Transactions on Computers.

[17]  Giovanni Chiola,et al.  GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets , 1995, Perform. Evaluation.

[18]  Alex Blakemore,et al.  The cost of eliminating vanishing markings from generalized stochastic Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[19]  Serge Haddad,et al.  Aggregation of states in colored stochastic Petri nets: application to a multiprocessor architecture , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[20]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..

[21]  Marco Ajmone Marsan,et al.  On Petri nets with deterministic and exponentially distributed firing times , 1986, European Workshop on Applications and Theory of Petri Nets.

[22]  Kishor S. Trivedi,et al.  Extended Stochastic Petri Nets: Applications and Analysis , 1984, Performance.

[23]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[24]  Michael K. Molloy,et al.  On the integration of delay and throughput measures in distributed processing models , 1981 .

[25]  Gianfranco Balbo,et al.  Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques , 1998 .

[26]  Gianfranco Ciardo,et al.  Analysis of deterministic and stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[27]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[28]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[29]  Gianfranco Ciardo,et al.  Analysis of large stochastic petri net models , 1990 .

[30]  Peter Buchholz,et al.  Hierarchical High Level Petri Nets for Complex System Analysis , 1994, Application and Theory of Petri Nets.

[31]  Tharam S. Dillon,et al.  Timed Places Petri Nets with Stochastic Representation of Place Time , 1985, PNPM.

[32]  Marco Ajmone Marsan,et al.  The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets , 1989, IEEE Trans. Software Eng..

[33]  Serge Haddad,et al.  Les réseaux de Petri stochastiques , 2001 .

[34]  William Henderson,et al.  Exact results in the aggregation and disaggregation of stochastic Petri nets , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[35]  Satish K. Tripathi,et al.  Automated time scale decomposition and analysis of stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[36]  Thomas G. Robertazzi,et al.  Markovian Petri Net Protocols with Product Form Solution , 1991, Perform. Evaluation.

[37]  Herbert A. Simon,et al.  Aggregation of Variables in Dynamic Systems , 1961 .

[38]  Mary K. Vernon,et al.  A Generalized Timed Petri Net Model for Performance Analysis , 1985, IEEE Transactions on Software Engineering.

[39]  T. Agerwala,et al.  Putting Petri nets to work , 1989 .

[40]  Hoon Choi,et al.  Transient Analysis of Deterministic and Stochastic Petri Nets , 1993, Application and Theory of Petri Nets.

[41]  Hoon Choi,et al.  Sensitivity analysis of Markov regenerative stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[42]  Dan C. Marinescu,et al.  On Stochastic High-Level Petri Nets , 1987, PNPM.

[43]  Stéphane Natkin,et al.  Matrix product form solution for closed synchronized queuing networks , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[44]  Nick Roussopoulos,et al.  Timing Requirements for Time-Driven Systems Using Augmented Petri Nets , 1983, IEEE Transactions on Software Engineering.

[45]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[46]  Marcel F. Neuts,et al.  Matrix-Geometric Solutions in Stochastic Models , 1981 .

[47]  William J. Stewart,et al.  Introduction to the numerical solution of Markov Chains , 1994 .

[48]  Richard J. Boucherie.  A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets , 1994, IEEE Trans. Software Eng..

[49]  Peter J. Haas,et al.  Regenerative Stochastic Petri Nets , 1986, Perform. Evaluation.

[50]  Peter G. Taylor,et al.  Aggregation methods in exact performance analysis of stochastic Petri nets , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[51]  Hany H. Ammar,et al.  Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models , 1989, IEEE Trans. Software Eng..

[52]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[53]  Gérard Berthelot.  Transformations and Decompositions of Nets , 1986 .

[54]  Peter J. Haas,et al.  Regenerative Simulation of Stochastic Petri Nets , 1985, PNPM.

[55]  Raymond R. Devillers,et al.  The box calculus: a new causal algebra with multi-label communication , 1992, Advances in Petri Nets: The DEMON Project.

[56]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[57]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[58]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[59]  Reinhard German,et al.  Analysis of Stochastic Petri Nets by the Method of Supplementary Variables , 1994, Perform. Evaluation.

[60]  Bart W. Stuck,et al.  A Computer and Communication Network Performance Analysis Primer (Prentice Hall, Englewood Cliffs, NJ, 1985; revised, 1987) , 1987, Int. CMG Conference.

[61]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[62]  Tilak Agerwala,et al.  Special Feature: Putting Petri Nets to Work , 1979, Computer.

[63]  Kurt Lautenbach.  Linear Algebraic Techniques for Place/Transition Nets , 1986, Advances in Petri Nets.

[64]  Hoon Choi,et al.  Markov Regenerative Stochastic Petri Nets , 1994, Perform. Evaluation.