Petri Nets in Performance Analysis: An Introduction

In this tutorial paper, the authors discuss the motivations that led to the adoption of Petri nets for performance evaluation, define the class of Petri nets that is most frequently used for performance analysis, and present the subclasses that allow a simpler derivation of performance metrics. Definitions and discussions are paralleled with examples, thus visualizing the strong and weak points of the different alternatives.

[1]  Giovanni Chiola,et al.  Stochastic Well-Formed Coloured Nets and Multiprocessor Modelling Applications , 1991 .

[2]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[3]  Giovanni Chiola,et al.  Operational analysis of timed Petri nets and application to the computation of performance bounds , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[4]  Manuel Silva Suárez,et al.  Approximate Throughput Computation of Stochastic Marked Graphs , 1994, IEEE Trans. Software Eng..

[5]  Robert B. Cooper,et al.  Introduction to Queueing Theory , 1973 .

[6]  G. Conte,et al.  Parallel State Space Exploration for GSPN Models , 1995, Application and Theory of Petri Nets.

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

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

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

[10]  M. Sereno,et al.  On the Traffic Equations for Batch Routing Queueing Networks and Stochastic Petri Nets , 1994 .

[11]  B. R. Haverkort.  Matrix-geometric solution of infinite stochastic Petri nets , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

[12]  Graham Horton,et al.  State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[13]  Michael K. Molloy.  Fast Bounds for Stochastic Petri Nets , 1985, PNPM.

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

[15]  Giovanni Chiola,et al.  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector , 1991, IEEE Trans. Software Eng..

[16]  Aldo Cumani,et al.  ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times , 1985, PNPM.

[17]  Christoph Lindemann,et al.  DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.

[18]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[19]  Giovanni Chiola,et al.  On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets , 1987, PNPM.

[20]  Hany H. Ammar,et al.  Analysis of the Generalized Stochastic Petri Nets by State Aggregation , 1985, PNPM.

[21]  V. Kulkarni.  Modeling and Analysis of Stochastic Systems , 1996 .

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

[23]  Manuel Silva Suárez,et al.  Structured solution of stochastic DSSP systems , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

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

[25]  Zhen Liu,et al.  Performance Bounds for Stochastic Timed Petri Nets , 1995, Application and Theory of Petri Nets.

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

[27]  C. Petri.  Kommunikation mit Automaten , 1962 .

[28]  Peter Kemper.  Numerical Analysis of Superposed GSPNs , 1996, IEEE Trans. Software Eng..

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

[30]  Manuel Silva,et al.  On Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes , 1995, STRICT.

[31]  Gianfranco Balbo,et al.  Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior , 1988, IEEE Trans. Computers.

[32]  Gianni Conte,et al.  Analysis of large GSPN models: a distributed solution tool , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

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

[34]  Susanna Donatelli.  Superposed stochastic automata: a class of stochastic Petri nets amenable to parallel solution , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

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

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

[37]  Kishor S. Trivedi,et al.  Markov and Markov reward model transient analysis: An overview of numerical approaches , 1989 .

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

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

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

[41]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[42]  Susanna Donatelli,et al.  Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space , 1993, Perform. Evaluation.

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

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

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

[46]  Peter Kemper,et al.  Transient analysis of superposed GSPNs , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[47]  William H. Sanders,et al.  Performability Modeling with UltraSAN , 1991, IEEE Softw..

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

[49]  Brigitte Plateau.  On the stochastic structure of parallelism and synchronization models for distributed algorithms , 1985, SIGMETRICS 1985.

[50]  Andrea Bobbio,et al.  Markov regenerative SPN with non-overlapping activity cycles , 1995, Proceedings of 1995 IEEE International Computer Performance and Dependability Symposium.

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

[52]  Marco Ajmone Marsan,et al.  On Petri Nets with Stochastic Timing , 1985, PNPM.

[53]  Falko Bause,et al.  Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[54]  William Feller,et al.  An Introduction to Probability Theory and Its Applications , 1951 .

[55]  Vincent Hodgson,et al.  The Single Server Queue. , 1972 .

[56]  William H. Sanders,et al.  Reduced Base Model Construction Methods for Stochastic Activity Networks , 1991, IEEE J. Sel. Areas Commun..

[57]  Gianfranco Balbo,et al.  Combining queueing network and Generalized Stochastic Petri Net models for the analysis of some software blocking phenomena , 1985, IEEE Transactions on Software Engineering.

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

[59]  Jean Arlat,et al.  SURF-2: A program for dependability evaluation of complex hardware and software systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[60]  Erhan Çinlar,et al.  Introduction to stochastic processes , 1974 .

[61]  Hany H. Ammar,et al.  On bounds for token probabilities in a class of generalized stochastic Petri nets , 1989, Proceedings of the 32nd Midwest Symposium on Circuits and Systems,.

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

[63]  Peter Buchholz,et al.  Numerical analysis of stochastic marked graph nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[64]  Giovanni Chiola,et al.  Properties and Performance Bounds for Timed Marked Graphs , 1992 .

[65]  J. Little.  A Proof for the Queuing Formula: L = λW , 1961 .

[66]  Boudewijn R. Haverkort,et al.  Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

[67]  N. D. Georganas,et al.  Exact parametric analysis of stochastic Petri nets , 1992 .

[68]  Peter Buchholz,et al.  Hierarchical structuring of superposed GSPNs , 1997, Proceedings of the Seventh International Workshop on Petri Nets and Performance Models.

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

[70]  Stephen S. Lavenberg,et al.  Computer Performance Modeling Handbook , 1983, Int. CMG Conference.

[71]  Peter Buchholz.  Aggregation and reduction techniques for hierarchical GCSPNs , 1993, Proceedings of 5th International Workshop on Petri Nets and Performance Models.

[72]  P. Moreaux,et al.  Evaluation of high level Petri nets by means of aggregation and decomposition , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[73]  Gianni Conte,et al.  PERFORMANCE ANALYSIS OF MULTIPROCESSOR SYSTEMS , 1985 .

[74]  Peter Kemper.  Reachability Analysis Based on Structured Representations , 1996, Application and Theory of Petri Nets.

[75]  Susanna Donatelli,et al.  Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution , 1994, Application and Theory of Petri Nets.

[76]  Marco Ajmone Marsan,et al.  A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems , 1983, SIGMETRICS '83.

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

[78]  P. Haas,et al.  Stochastic petri nets with timed and immediate transitions , 1989 .

[79]  Matteo Sereno.  Approximate Mean Value Analysis for Stochastic Marked Graphs , 1996, IEEE Trans. Software Eng..

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

[81]  David M. Nicol,et al.  Distributed State Space Generation of Discrete-State Stochastic Models , 1995, INFORMS J. Comput..

[82]  Patrice Moreaux,et al.  Asynchronous Composition of High Level Petri Nets: A Quantitative Approach , 1996, Application and Theory of Petri Nets.

[83]  Günter Hommel,et al.  TimeNET: A Toolkit for Evaluating Non-Markovian Stochastic Petri Nets , 1995, Perform. Evaluation.

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

[85]  Peter Buchholz,et al.  A Hierarchical View of GCSPNs and Its Impact on Qualitative and Quantitative Analysis , 1992, J. Parallel Distributed Comput..

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

[87]  Marco Ajmone Marsan,et al.  Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.