This Article 
 Bibliographic References 
 Add to: 
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities
November 2003 (vol. 29 no. 11)
pp. 962-973

Abstract—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] M.H.T. Hack, Decidability Questions for Petri Nets PhD thesis, MIT, Cambridge, Mass., Dec. 1975.
[2] J.L. Peterson, Petri Net Theory and the Modeling of Systems.Englewood Cliffs, N.J.: Prentice Hall, 1981.
[3] E. Best and M. Koutny, Petri Net Semantics of Priority Systems Theoretical Computer Science, vol. 96, pp. 175-215, 1992.
[4] F. Bause, On the Analysis of Petri Nets with Static Priorities Acta Informatica, vol. 33, no. 7, pp. 669-686, 1996.
[5] M.Ajmone Marsan,G. Balbo,, and G. Conte,“A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems,” ACM Trans. Computer Systems, pp. 93-122, vol. 2, no. 2, May 1984.
[6] M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets. Wiley 1995.
[7] E. Smith, On the Border of Causality: Contact and Confusion Theoretical Computer Science, vol. 153, nos. 1-2, pp. 275-270, 1996.
[8] G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte, "Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications," IEEE Trans. Software Eng., vol. 19, no. 2, pp. 89-107, Feb. 1993.
[9] G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad, “Stochastic Well-Formed Coloured Nets for Symmetric Modeling Applications,” IEEE Trans. Computers, vol. 42, no. 11, Nov. 1993.
[10] Y. Li and C.M. Woodside, Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks IEEE Trans. Computers, vol. 44, no. 8, Aug. 1995.
[11] S. Donatelli and P. Kemper, Integrating Synchronization with Priority into a Kronecker Representation Performance Evaluation, vol. 44, nos. 1-4, pp. 73-96, 2001.
[12] O. Botti and L. Capra, A GSPN Based Methodology for the Evaluation of Concurrent Applications in Distributed Plant Automation Systems Euromicro J. Systems Architecture, vol. 42, pp. 503-530, 1996.
[13] S. Donatelli and G. Franceschinis, The PSR Methodology: Integrating Hardware and Software Application and Theory of Petri Nets 1996, J. Billington and W. Reisig, eds., 1996.
[14] A. Mazzeo, N. Mazzocca, S. Russo, and V. Vittorini, A Method for Predictive Performance of Distributed Programs Simulation Practice and Theory, pp. 65-82, Jan. 1997.
[15] V. Bala,J. Bruck,R. Cypher,P. Elustondo,A. Ho,C.T. Ho,S. Kipnis,, and M. Snir,“CCL: A portable and tunable collective communication library forscalable parallel computers,” Eighth Int’l Parallel Processing Symp., IEEE, pp. 835-844, Apr. 1994.
[16] M. Ajmone Marsan, C. Casetti, R. Gaeta, and M. Meo, Performance Analysis of TCP Connections Sharing a Congested Internet Link Performance Evaluation, vol. 42, nos. 2-3, pp. 109-127, 2000.
[17] M. Ajmone Marsan, R. Gaeta, and M. Meo, Accurate Approximate Analysis of Cell-Based Switch Architectures Performance Evaluation, vol. 45, no. 1, pp. 33-56, 2001.
[18] M. Silva and E. Teruel, Petri Nets for the Design and Operation of Manufacturing Systems European J. Control, no. 3, pp. 182-199, 1997.
[19] I. Mura and A. Bondavalli, Hierarchical Modelling and Evaluation of Phased-Mission Systems IEEE Trans. Reliability, vol. 48, no. 4, 1999.
[20] E. Teruel, G. Franceschinis, and M. De Pierro, Clarifying the Priority Specification of GSPN: Detached Priorities Proc. Int'l Workshop Petri Nets and Performance Models (PNPM '99), pp. 114-123, 1999.
[21] G. Ciardo and R. Zijal, “Well-Defined Stochastic Petri Nets,” Proc. Fourth Int'l Workshop Modeling Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'96), pp. 278–284. IEEE CS Press 1996.
[22] M.A. Qureshi, W.H. Sanders, A.P.A. van Moorsel, and R. German, Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures IEEE Trans. Software Eng., vol. 22, no. 9, pp. 603-614, Sept. 1996.
[23] F. Bause, Analysis of Petri Nets with a Dynamic Priority Method Application and Theory of Petri Nets 1997, P. Azéma and G. Balbo, eds., 1997.

Index Terms:
Stochastic Petri nets, priorities, conflict, confusion, modeling methodology.
Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro, "Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities," IEEE Transactions on Software Engineering, vol. 29, no. 11, pp. 962-973, Nov. 2003, doi:10.1109/TSE.2003.1245298
Usage of this product signifies your acceptance of the Terms of Use.