Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities

Generalized stochastic Petri nets (GSPN), with immediate transitions, are extensively used to model concurrent systems in a wide range of application domains, particularly including software and hardware aspects of computer systems, and their interactions. These models are typically used for system specification, logical and performance analysis, or automatic code generation. In order to keep modeling separate from the analysis and to gain in efficiency and robustness of the modeling process, the complete specification of the stochastic process underlying a model should be guaranteed at the net level, without requiring the generation and exploration of the state space. In this paper, we propose a net-level method that guides the modeler in the task of defining the priorities (and weights) of immediate transitions in a GSPN model, to deal with confusion and conflict problems. The application of this method ensures well-definition without reducing modeling flexibility or expressiveness.

[1]  William H. Sanders,et al.  Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

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

[3]  Marco Ajmone Marsan,et al.  Performance analysis of TCP connections sharing a congested Internet link , 2000, Perform. Evaluation.

[4]  Einar Smith On the Border of Causality: Contact and Confusion , 1996, Theor. Comput. Sci..

[5]  Yao Li,et al.  Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks , 1995, IEEE Trans. Computers.

[6]  Michela Meo,et al.  Accurate approximate analysis of cell-based switch architectures , 2001, Perform. Evaluation.

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

[8]  Falko Bause,et al.  Analysis of Petri Nets with a Dynamic Priority Method , 1997, ICATPN.

[9]  Lorenzo Capra,et al.  A GSPN based methodology for the evaluation of concurrent applications in distributed plant automation systems , 1996, J. Syst. Archit..

[10]  Marco Ajmone Marsan,et al.  Modeling ATM systems with GSPNs and SWNs , 1998, PERV.

[11]  Giuliana Franceschinis,et al.  The PSR Methodology: Integrating Hardware and Software Models , 1996, Application and Theory of Petri Nets.

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

[13]  Susanna Donatelli,et al.  Integrating synchronization with priority into a Kronecker representation , 2000, Perform. Evaluation.

[14]  Maciej Koutny,et al.  Petri Net Semantics of Priority Systems , 1992, Theor. Comput. Sci..

[15]  Manuel Silva Suárez,et al.  Petri Nets for the Design and Operation of Manufacturing Systems , 1997, Eur. J. Control.

[16]  Giuliana Franceschinis,et al.  Clarifying the priority specification of GSPN: Detached priorities , 1999, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331).

[17]  Gianfranco Ciardo,et al.  Well-defined stochastic Petri nets , 1996, Proceedings of MASCOTS '96 - 4th International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[18]  Valeria Vittorini,et al.  A method for predictive performance of distributed programs , 1997, Simul. Pract. Theory.

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

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

[21]  Michel Hack,et al.  Decidability Questions for Petri Nets , 1975, Outstanding Dissertations in the Computer Sciences.

[22]  Andrea Bondavalli,et al.  Hierarchical modeling and evaluation of phased-mission systems , 1999 .

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