Superposed generalized stochastic petri nets: Definition and efficient solution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 815 LNCS, Issue , 1994, Pages 258-277

  Donatelli, Susanna ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; MARKOV PROCESSES; PETRI NETS; STOCHASTIC MODELS;

ANALYSIS METHOD; CONCURRENT PROCESS; GENERALIZED STOCHASTIC PETRI NETS; GRAPHICAL INTERFACE; MARKOVIAN PROCESS; SOLUTION METHODS; STOCHASTIC AUTOMATA; STOCHASTIC PETRI NET;

STOCHASTIC SYSTEMS;

EID: 84977510484     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-58152-9_15     Document Type: Conference Paper

References (25)

1. M. Ajmone Marsan, G. Balbo, G. Chiola, G. Conte, S. Donatelli, and G. Franeeschinis. An introduction to Generalized Stochastic Petri Nets. Microelectronics and Reliability, 31(4):699-725, 1991. Special issue on Petri nets and related graph models.
2. M. Ajmone Marsan, G. Balho, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems." ACM Transactions on Computer Systems, 2(1), May 1984.
3. G. Balbo, S. Donatelli, and G. Franceschinis. Understanding parallel programs behaviour through Petri net models. Journal of Parallel and Distributed Computing, 15(3), 1992.
4. C. Beounes. Stochastic petri net modeling for dependability evaluation of complex computer system. In Proc. of the International Workshop on Timed Petri nets, Tofino, Italy, July 1985. IEEE-CS Press.
5. P. BuchhoJz. Numerical solution methods based on structured descriptions of Markovian models. In Proc. 5 th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.
6. G. Chiola, S. Donatelll, and G. Franceschlnis. GSPN versus SPN: what is the actual role of immediate transitions? In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
7. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets and multiprocessor modelling applications. In K. Jensen and G. Rozenberg, editors, High-Level Petri Nets. Theory and Application. Springer Verlag, 1991.
8. Giovanni Chiola. GreatSPN 1.5 software architecture. In Proc. 5 th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.
9. G. Ciardo and K.S. Trivedi. A decomposition approach for Stochastic Petri net models. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
10. M. Davio. Kronacker products and shuffle algebra. IEEE Transactions on Computers, 30(2):1099-1109, 1981.
11. F. De Cindio, G. De Michelis, L. Pomello, and C. Simone. Superposed automata nets. In C. Girault and W. Relslg, editors, Application and Theory of Petri Nets. IFB 52, New York and London, 1982.
12. F. DeCindio and O. Bottl. Comparing Occam2 program placements by a GSPN model. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
13. S. Donatelll. Superposed stochastic automata: a class of stochastic Petri nets with parallel solution and distributed state space. Performance Evaluation, 18:21-36, 1993.
14. S. Donatelli, G. Franceschinis, N. Mazzocca, and S. Russo. Software architecture of the epoca integrated environment. In Proc. of the Seventh International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, May 1994.
15. J.B. Dugan, A. Bobbio, and G. Ciardo, K.S. Trivedi. The design of a unified package for the solution of stochastic Petri net models. In Proc. Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press.
16. G. Florin and S. Natkin. Matrix product form solution for closed synchronized queuelng networks. In Proc. 3rd Intern. Workshop on Petrl Nets and Performance Models, pages 29-39, Kyoto, Japan, December 1989. IEEE-CS Press.
17. W. Henderson and P.O. Taylor. Aggregation methods in exact performance analysis of stochastic Petri nets. In Proc. 3rd Intern. Workshop on Petri Nets and Performance Models, pages 12-18, Kyoto, Japan, December 1989. IEEE-CS Press.
18. I.E. Jelly and J.P. Grey. Prototyplng parallel systems: a performanve evaluation approach. In Proc. ISMM Conference on Parallel and Distributed Computing Systems, Pittsburgh, USA, October 1992.
19. A.A. Lazar and T.G. Robertazzi. Markovian Petri net protocols with product form solution. In Proc. of IEEE INFOCOM'87, San Francisco, CA, USA, March 1987. Also in Performance Evaluation, Vol.12, 1991, pp.67-77.
20. M. K. Molloy. Performance analysis using stochastic Petri nets. IEEE Transaction on Computers, 31(9):913-917, September 1982.
21. S. Natkin. Timed and stochastic Petri nets: from the validation to the performance of synchronization schemes. In Proc. Int. Workshop on Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press.
22. B. Plateau. Repartition, parallelisme et des elements de leur valutation. PhD thesis, (in french), Paris, France, 1981.
23. B. Plateau. On the stochastic structure of parallelism and synchronization models for distributed algorithms. In Proc. 1985 SIGMETRICS Conference, pages 147-154, Austin, TX, USA, August 1985. ACM.
24. B. Plateau. Peps: a package for solving complex Markov models of parallel systems. In It. Puigjaner and D. Poiter, editors, Modeling techniques and tools for computer performance evaluation, pages 291-306. Plenum Press, New York nnd London, 1990.
25. B. Plateau and K. Atif. Stochastic automata network for modeling parallel systems. IEEE Transactions on Software Engineering, 17(10):1093-1108, 1991.