Clarifying the priority specification of GSPN: Detached priorities

Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

Volumn , Issue , 1999, Pages 114-123

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^c UNIVERSITY OF TURIN   (Italy)

Author keywords

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

Indexed keywords

RANDOM PROCESSES; STOCHASTIC SYSTEMS;

CONFLICT; CONFUSION; MODELLING METHODOLOGY; PRIORITIES; STOCHASTIC PETRI NETS;

PETRI NETS;

EID: 84947203750     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1999.796558     Document Type: Conference Paper

References (14)

1. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Trans. on Computer Systems, 2(2):93-122, 1984.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley, 1995.
3. F. Bause. On the analysis of Petri nets with static priorities. Acta Informatica, 33(7):669-686, 1996.
4. F. Bause. Analysis of Petri nets with a dynamic priority method. In P. Azema and G. Balbo, editors, Application and Theory of Petri Nets 1997, volume 1248 of Lecture Notes in Computer Science, pages 215-234. Springer, 1997.
5. E. Best and M. Koutny. Petri net semantics of priority systems. Theor. Computer Science, 96:175-215, 1992.
6. 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. on Software Engineering, 19(2):89-107, 1993.
7. G. Chiola, S. Donatelli, and G. Franceschinis. Priorities, inhibitor arcs, and concurrency in P/T nets. In Proc. 12 t Intern. Conference on Application and Theory of Petri Nets, pages 182-205, Aarhus, Denmark, June 1991.
8. G. Ciardo and R. Zijal. Well-defined stochastic Petri nets. In Procs. Fourth International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS '96), pages 278-284. IEEE Computer Society, 1996.
9. N. Deo. Graph Theory with Applications to Engineering and Computer Science. Prentice-Hall, 1974.
10. S. Donatelli and G. Franceschinis. The PSR methodology: Integrating hardware and software. In J. Billing-ton and W. Reisig, editors, Application and Theory of Petri Nets 1996, volume 1091 of Lecture Notes in Computer Science, pages 133-152. Springer, 1996.
11. M. H. T. Hack. Decidability Questions for Petri Nets. PhD thesis, M.I.T., Cambridge, MA, USA, Dec. 1975.
12. J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.
13. M. A. Qureshi, W. Sanders, A. P. van Moorsel, and R. German. Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures. IEEE Trans. on Software Engineering, 22(9):603-614, 1996.
14. J. L. Villarroel, J. Martinez, and M. Silva. GRAMAN: A graphic system for manufacturing system design. In S. Tzafestas, A. Eisinberg, and L. Carotenuto, editors, IMACS Symp. on System Modelling and Simulation, pages 311-316. Elsevier, 1988.