On the success of stochastic Petri nets

Stochastic Petri nets (SPNs) are discussed from the point of view of the results that have contributed most to the dissemination of this formalism. The historical context in which SPN ideas have developed is briefly reviewed to recount the motivations that have driven this research field and to show how its success has been recognized by the scientific community. A few directions of research are discussed at the end of the paper to outline the open problems that still need to be solved to make this formalism useful for the analysis of real systems.

[1]  C. A. Petri.  COMMUNICATION WITH AUTOMATA: Volume 1 Supplement 1 , 1966 .

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

[3]  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.

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

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

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

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

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

[9]  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.

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

[11]  Stefano Russo,et al.  Software Architecture of the EPOCA Integrated Environment , 1994, Computer Performance Evaluation.

[12]  Matteo Sereno,et al.  On the Product Form Solution for Stochastic Petri Nets , 1992, Application and Theory of Petri Nets.

[13]  J. L. Coleman,et al.  Algorithms for product-form stochastic Petri nets-A new approach , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

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

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

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

[17]  S. C. Bruell,et al.  An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm , 1992, IEEE Trans. Parallel Distributed Syst..

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

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

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

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

[22]  Christoph Lindemann.  An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models , 1993, Perform. Evaluation.

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

[24]  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.

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

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

[27]  Matteo Sereno,et al.  Computational algorithms for product form solution stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

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

[29]  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.

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

[31]  Giovanni Chiola,et al.  A structural colour simplification in well-formed coloured nets , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[32]  Thomas G. Robertazzi,et al.  Computer Networks and Systems , 1994, Springer US.

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

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

[35]  Gianfranco Balbo.  Stochastic Petri Nets: Achievements and Open Problems , 1995 .

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

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

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

[39]  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.

[40]  James L. Coleman.  Stochastic Petri nets with product form equilibrium distributions. , 1993 .

[41]  Gianfranco Ciardo.  Toward a Definition of Modeling Power for Stochastic Petri Net Models , 1987, PNPM.

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

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

[44]  Gianfranco Ciardo,et al.  Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis , 1994, Application and Theory of Petri Nets.

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

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

[47]  Kishor S. Trivedi,et al.  On the Solution of GSPN Reward Models , 1991, Perform. Evaluation.

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

[49]  Giuliana Franceschinis,et al.  On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs , 1994, Perform. Evaluation.

[50]  Giuliana Franceschinis,et al.  Understanding Parallel Program Behavior through Petri Net Models , 1992, J. Parallel Distributed Comput..

[51]  William H. Sanders,et al.  Reduced base model construction methods for stochastic activity networks , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

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

[53]  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.

[54]  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.

[55]  Richard J. Boucherie,et al.  A characterization of independence for competing Markov chains with applications to stochastic Petri nets , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

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

[57]  Matteo Sereno,et al.  Arrival Theorems for Product-Form Stochastic Petri Nets , 1994, SIGMETRICS.