Analysis and evaluation of non-markovian stochastic petri nets

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

Volumn 1786, Issue , 2000, Pages 171-187

  Horváth, András ^a   Puliafito, Antonio ^b   Scarpa, Marco ^b   Telek, Miklós ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b UNIVERSITY OF CATANIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; PETRI NETS; RANDOM ACCESS STORAGE; STOCHASTIC MODELS;

ANALYSIS AND EVALUATION; APPLICATION EXAMPLES; DISCRETE TIME APPROXIMATIONS; DISTRIBUTED EVENTS; NEW APPROACHES; NON-MARKOVIAN STOCHASTIC PETRI NETS; STOCHASTIC BEHAVIOR; STOCHASTIC PETRI NETS;

STOCHASTIC SYSTEMS;

EID: 84885883164     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46429-8_13     Document Type: Conference Paper

References (18)

1. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transactions on Software Engineering, SE-15:832-846, 1989.
2. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Transactions on Computer Systems, 2:93-122, 1984.
3. A. Bobbio, A. Horváth, M. Scarpa, and M. Telek. Acyclic discrete phase type distributions. Part 1: Properties and canonical forms. Technical report, Technical University of Budapest, 1999.
4. A. Bobbio, V. G. Kulkarni, A. Puliaffto, M. Telek, and K. Trivedi. Preemptive repeat identical transitions in Markov Regenerative Stochastic Petri Nets. In 6-th International Conference on Petri Nets and Performance Models-PNPM95, pages 113-122. IEEE Computer Society, 1995.
5. A. Bobbio and M. Telek. Markov regenerative SPN with non-overlapping activity cycles. In International Computer Performance and Dependability Symposium-IPDS95, pages 124-133. IEEE CS Press, 1995.
6. G. Chiola. GreatSPN 1. 5 Software architecture. In G. Balbo and G. Serazzi, editors, Computer Performance Evaluation, pages 121-136. Elsevier Science Publishers, 1992.
7. Hoon Choi, V. G. Kulkarni, and K. Trivedi. Markov regenerative stochastic Petri nets. Performance Evaluation, 20:337-357, 1994.
8. G. Ciardo, R. German, and C. Lindemann. A characterization of the stochastic process underlying a stochastic Petri net. IEEE Transactions on Software Engi-neering, 20:506-515, 1994.
9. G. Ciardo and R. Zijal. Discrete deterministic and stochastic petri nets. Technical report, NASA, 1996.
10. J. A. Couvillon, R. Freire, R. Johnson, W. D. Obal, M. A. Qureshi, M. Rai, W. Sanders, and J. E. Tvedt. Performability modeling with UltrasSAN. IEEE Software, 8:69-80, September 1991.
11. A. Cumani. Esp-A package for the evaluation of stochastic Petri nets with phasetype distributed transition times. In Proceedings International Workshop Timed Petri Nets, pages 144-151, Torino (Italy), 1985. IEEE Computer Society Press no. 674.
12. R. German. Markov Regenerative Stochastic Petri Nets with general execution policies: supplementary variable analysis and a prototype tool. In 10th Interna-tional Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'98). Palma de Mallorca, Spain, September 14-18, 1998.
13. R. German, C. Kelling, A. Zimmermann, and G. Hommel. TimeNET-A toolkit for evaluating non-markovian stochastic Petri nets. Report No. 19–Technische Universität Berlin, 1994.
14. R. German and C. Lindemann. Analysis of stochastic Petri nets by the method of supplementary variables. Performance Evaluation, 20:317-335, 1994.
15. A. Horváth, A. Puliaffto, M. Scarpa, M. Telek, O. Tomarchio. Design and evaluation of a web-based non-markovian stochastic Petri net Tool. In The Thirteen International Symposium on Computer and Information Science (ISCIS'98), Belek (Antalia, Turkey), October 1998.
16. C. Lindemann. DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets. Performance Evaluation, 22:3-21, 1995.
17. A. Puliaffto, M. Scarpa, and K. S. Trivedi. Petri nets with k simultaneously enabled generally distributed timed transitions. Performance Evaluation, 32 n. 1, February 1998.
18. M. Scarpa. Non Markovian Stochastic Petri Nets with Concurrent Generally Distributed Transitions. PhD Thesis, Università di Torino, Torino, Italy, 1999.