Compiling Techniques for the Analysis of Stochastic Petri Nets

The performance of Stochastic Petri Net models can be estimated either by Monte-Carlo simulation or by construction and evaluation of Markov chains isomorphic to their reachability graphs. In both cases, the efficiency of the algorithms used to compute the marking sequences reachable by a model is crucial for the applicability of this methodology in practical cases. It is claimed that an organic approach based on ad-hoc techniques is needed to improve the efficiency of the software used for the analysis and to allow the solution of problems of realistic size. A set of compiling techniques is presented to produce Petri net analysis or simulation programs tailored on the specific characteristics of individual models. The proposed approach allows to improve on the performance of currently used packages of up to one order of magnitude in both space and time efficiency of reachability algorithms and in time efficiency of event-driven simulation of Petri nets.

[1]  Hisashi Kobayashi,et al.  Queuing Networks with Multiple Closed Chains: Theory and Computational Algorithms , 1975, IBM J. Res. Dev..

[2]  Amir Pnueli,et al.  Marked Directed Graphs , 1971, J. Comput. Syst. Sci..

[3]  Mary K. Vernon,et al.  The GTPN Analyzer: Numerical Methods and User Interface , 1986, FJCC.

[4]  Vijay K. Vaishnavi.  Multidimensional Height-Balanced Trees , 1984, IEEE Transactions on Computers.

[5]  Brian W. Kernighan,et al.  The C Programming Language , 1978 .

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

[7]  S. Natkin,et al.  RDPS: A Software Package for the Validation and Evaluation of Dependable Computer Systems , 1986 .

[8]  Marco Ajmone Marsan,et al.  Timed Petri net model for the accurate performance analysis of CSMA/CD bus LANs , 1987, Comput. Commun..

[9]  Marco Ajmone Marsan,et al.  Modeling the software architecture of a prototype parallel machine , 1987, SIGMETRICS '87.

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

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

[12]  Donald Ervin Knuth,et al.  The Art of Computer Programming , 1968 .

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

[14]  G. Chiola,et al.  An accurate performance model of CSMA/CD bus LAN , 1986, European Workshop on Applications and Theory of Petri Nets.

[15]  Giovanni Chiola,et al.  A Software Package for the Analysis of Generalized Stochastic Petri Net Models , 1985, PNPM.