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

IEEE Transactions on Software Engineering

Volumn 29, Issue 11, 2003, Pages 962-973

  Teruel, Enrique ^a   Franceschinis, Giuliana ^b   De Pierro, Massimiliano ^b  

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

Conflict; Confusion; Modeling methodology; Priorities; Stochastic Petri nets

Indexed keywords

CODES (SYMBOLS); COMPUTER SYSTEMS; MATHEMATICAL MODELS; RANDOM PROCESSES; ROBUSTNESS (CONTROL SYSTEMS); SOFTWARE ENGINEERING;

AUTOMATIC CODE GENERATION; GENERALIZED STOCHASTIC PETRI NETS (GSPN);

PETRI NETS;

EID: 0348156855     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSE.2003.1245298     Document Type: Article

References (23)

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. 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 Infomatica, 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 Analysis of Multiprocessor Systems," ACM Trans. Computer Systems, vol. 2, no. 2, pp. 93-122, 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 Colored Nets for Symmetric Modelling 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. Vitlorini, "A Method for Predictive Performance of Distributed Programs," Simulation Practice and Theory, pp. 65-82, Jan. 1997.
15. M. Ajmone Marsan and R. Gaeta, "Modeling ATM Systems with GSPNs and SWNs," Performance Evaluation Rev., vol. 26, no. 2, pp. 28-37, 1998.
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 Telecomm. Systems (MASCOTS '96), pp. 278-284, 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.