Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications

The class of Petri nets obtained by eliminating timing from generalized stochastic Petri net (GSPN) models while preserving the qualitative behavior is identified. Structural results for those nets are derived, obtaining the first structural analysis of Petri nets with priority and inhibitor arcs. A revision of the GSPN definition based on the structural properties of the models is presented. It is shown that for a (wide) class of nets, the definition of firing probabilities of conflicting immediate transitions does not require the information on reachable markings. Identification of the class of models for which the net-level specification is possible is also based on the structural analysis results. The procedure for the model specification is illustrated by means of an example. It is also shown that a net-level specification of the model associated with efficient structural analysis techniques can have a substantial impact on model analysis. >

[1]  P. S. Thiagarajan,et al.  Elementary Net Systems , 1986, Advances in Petri Nets.

[2]  Karl Martin Schmidt-Reindl,et al.  Notations and terminology on Petri Net theory , 1987 .

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

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

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

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

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

[8]  Dan C. Marinescu,et al.  Stochastic High-Level Petri Nets and Applications , 1988, IEEE Trans. Computers.

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

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

[11]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.

[12]  Giovanni Chiola,et al.  A symbolic simulation mechanism for well-formed coloured Petri nets , 1992, Annual Simulation Symposium.

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

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

[15]  Kishor S. Trivedi,et al.  Stochastic Petri Net Models of Polling Systems , 1990, IEEE J. Sel. Areas Commun..

[16]  Rami R. Razouk,et al.  Performance Analysis Using Timed Petri Nets , 1984, PSTV.

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

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

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

[20]  Giovanni Chiola.  Compiling Techniques for the Analysis of Stochastic Petri Nets , 1989 .

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

[22]  Manuel Silva,et al.  Properties and performance bounds for closed free choice synchronized monoclass queueing networks , 1991 .

[23]  Gianfranco Ciardo,et al.  Stochastic Petri Net Analysis of a Replicated File System , 1989, IEEE Trans. Software Eng..

[24]  Marco Ajmone Marsan,et al.  GSPN Models of Markovian Multiserver Multiqueue Systems , 1990, Perform. Evaluation.

[25]  Michael K. Molloy.  Discrete Time Stochastic Petri Nets , 1985, IEEE Transactions on Software Engineering.

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

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

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

[29]  Alexandre Zenie,et al.  Colored Stochastic Petri Nets , 1985, PNPM.

[30]  Marco Ajmone Marsan,et al.  Improving the efficiency of the analysis of DSPN models , 1988, European Workshop on Applications and Theory in Petri Nets.

[31]  Gianfranco Balbo,et al.  Computational algorithms for closed queueing networks , 1980 .

[32]  Giorgio Bruno,et al.  Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets , 1985, PNPM.

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

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

[35]  E. Gressier,et al.  A Stochastic Petri Net Model for Ethernet , 1985, PNPM.

[36]  Giovanni Chiola,et al.  Generalized stochastic Petri nets for the performance evaluation of FMS , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

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

[38]  Hany H. Ammar,et al.  Performability analysis of parallel and distributed algorithms , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

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

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

[41]  Eike Best,et al.  Structure Theory of Petri Nets: the Free Choice Hiatus , 1986, Advances in Petri Nets.