An introduction to generalized stochastic Petri nets

Abstract The paper decribes the GSPN approach to the performance evaluation of distributed systems. The structural properties and temporal specifications of GSPN are summarized, and application examples are then illustrated, trying to emphasize the methodology to be followed in the model development and validation, rather than the numerical results that can be obtained from the specific models developed in the paper.

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

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

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

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

[5]  Marco Ajmone Marsan,et al.  GSPN models of multiserver multiqueue systems , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

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

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

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

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

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

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

[12]  P. S. Thiagarajan.  Elementary Net Systems , 1986 .

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

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

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

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

[17]  Serge Haddad,et al.  Regular stochastic Petri nets , 1989, Applications and Theory of Petri Nets.