Non-exponential stochastic Petri nets: An overview of methods and techniques

Computer Systems Science and Engineering

Volumn 13, Issue 6, 1998, Pages 339-351

  Bobbio, Andrea ^a   Telek, Miklós ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Markov and Semimarkov Reward Models; Markov Regenerative Processes; Non exponential Distributions; Phase type Distributions; Queueing Systems with Preemption; Stochastic Petri Nets

Indexed keywords

COMPUTATIONAL COMPLEXITY; DISTRIBUTED COMPUTER SYSTEMS; MATHEMATICAL MODELS; RANDOM PROCESSES;

STOCHASTIC PETRI NETS;

PETRI NETS;

EID: 0032203228     PISSN: 02676192     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (41)

1. Reibman, A, Smith, R and Trivedi, K S 'Markov and Markov reward model transient analysis: an overview of numerical approaches', European Journal of Operational Research, Vol 40 (1989) pp 257-267
2. Bobhio, A 'Stochastic reward models in performance/reliability analysis', Journal on Communications, Vol XLIII (January 1992) pp 27-35
3. Ajmone Marsan, M, Balbo, G, Bobbio, A, Chiola, G, Conte, G and Cumani, A 'The effect of execution policies on the semantics and analysis of stochastic Petri nets', IEEE Trans. Software Engineering, Vol 15 (1989) pp 832-846
4. Haas, P J and Shedler, G S 'Regenerative stochastic Petri nets', Performance Evaluation, Vol 6 (1986) pp 189-204
5. Ciardo, G, German, R and Lindemann, C 'A characterization of the stochastic process underlying a stochastic Petri net', IEEE Trans. Software Engineering, Vol 20 (1994) pp 506-515
6. Bobbio, A and Telek, M 'Computational restrictions for SPN with generally distributed transition times', in D Hammer, K Echtle and D Powell (editors), First European Dependable Computing Conference (EDCC-1), Lecture Notes in Computer Science 852, Springer-Verlag (1994) pp 131-148
7. Natkin, S 'Les reseaux de Petri stochastiques et leur application a l'evaluation des systemes informatiques', Technical report, These de Docteur Ingegneur, CNAM, Paris (1980)
8. Bertoni, A and Torelli, M 'Probabilistic Petri nets and semi Markov processes'. Proceedings 2nd European Workshop on Petri Nets (1981)
9. Bechta Dugan, J, Trivedi, K, Geist, R and Nicola, V F 'Extended stochastic Petri nets: applications and analysis', Proceedings PERFORMANCE '84, Paris, France (1984)
10. Cumani, A Esp - A package for the evaluation of stochastic Petri nets with phase-type distributed transition times', Proceedings International Workshop Timed Petri Nets, Torino Italy (1985) pp 144-151
11. Neuts, M F Matrix Geometric Solutions in Stochastic Models, Johns Hopkins University Press, Baltimore (1981)
12. Lindemann, C 'An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models', Performance Evaluation, Vol 18 (1993) pp 75-95
13. Ciardo, G and Lindemann, C 'Analysis of deterministic and stochastic Petri nets', Proceedings International Workshop on Petri Nets and Performance Models - PNPM93, IEEE Computer Society (1993) pp 160-169
14. Choi, H, Kulkarni, V G and Trivedi, K 'Transient analysis of deterministic and stochastic Petri nets', Proceedings of the 14th International Conference on Application and Theory of Petri Nets, Chicago, IL (June 1993)
15. Cinlar, E Introduction to Stochastic Processes. Prentice-Hall, Englewood Cliffs, NJ (1975)
16. Choi, H, Kulkarni, V G and Trivedi, K 'Markov regenerative stochastic Petri nets', Performance Evaluation, Vol 20 (1994) pp 337-357
17. German, R and Lindemann, C 'Analysis of stochastic Petri nets by the method of supplementary variables', Performance Evaluation, Vol 20 (1994) pp 317-335
18. German, R Transient Analysis of deterministic and stochastic Petri nets by the method of supplementary variables, Internal Report Technische Universität Berlin (1994)
19. Bobbio, A and Telek, M 'Transient analysis of a preemptive resume M/D/1/2/2 through Petri nets', Periodica Polytechnica, Ser. El. Eng., Vol 41 (1997) pp 123-146
20. Bobbio, A and Telek, M 'Markov regenerative SPN with non-overlapping activity cycles', International Computer Performance and Dependability Symposium - IPDS95, EEE CS Press (1995) pp 124-133
21. Ajmone Marsan, M and Chiola, G On Petri nets with deterministic and exponentially distributed firing times', Lecture Notes in Computer Science 266, Springer Verlag (1987) pp 132-145
22. Ajmone Marsan, M, Balbo, G and Conte, G 'A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems', ACM Trans. Computer Systems, Vol 2 (1984) pp 93-122
23. Haas, P J and Shedler, G S 'Stochastic Petri nets with simultaneous transition firings', Proceedings International Workshop on Petri Nets and Performance Models - PNPM87, IEEE Computer Society (1987) pp 24-32
24. Molloy, M K On the integration of delay and throughput measures in distributed processing models', Technical report, Phd Thesis, UCLA (1981)
25. Florin, G and Natkin, S 'Les reseaux de Petri stochastiques', Technique et Science Informatique, Vol 4 (1985) pp 143-160
26. Chiola, G GreatSPN 1.5 Software architecture, in G Balbo and G Serazzi (editors), Computer Performance Evaluation, Elsevier (1992) pp 121-13
27. Ciardo, G, Muppala, J and Trivedi, K S 'SPNP: stochastic Petri net package', Proceedings International Workshop on Petri Nets and Performance Models - PNPM89, IEEE Computer Society (1989) pp 142-151
28. Couvillon, J A, Freire, R, Johnson, R, Obal, W D, Qureshi, M A, Rai, M, Sanders, W and Tvedt, J E 'Performability modeling with UltraSAN', IEEE Software, Vol 8 (September 1991) pp 69-80
29. Lepold, R 'PEPNET: A new approach to performability modelling using stochastic Petri nets', Proceedings 1st International Workshop on Performability Modelling of Computer and Communication Systems, University of Twente - Enschede (NL) (1991) pp 3-17
30. Haverkort, B R and Trivedi, K 'Specification techniques for Markov Reward Models', Discrete Event Dynamic Systems: Theory and Applications, Vol 3 (1993) pp 219-247
31. Chen, P, Bruell, S C and Balbo, G 'Alternative methods for incorporating non-exponential distributions into stochastic timed Petri nets'. Proceedings International Workshop on Petri Nets and Performance Models - PNPM89, IEEE Computer Society (1989) pp 187-197
32. Lindemann, C 'DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets'. Performance Evaluation, Vol 22 (1995) pp 3-21
33. German, R, Kelling, C, Zimmermann, A and Hommel, G TimeNET - A toolkit for evaluating non-markovian stochastic Petri nets', Performance Evaluation, Vol 24 (1995) pp 69-87
34. Jagerman, D L 'An inversion technique for the Laplace transform', The Bell System Technical Journal, Vol 61 (October 1982) pp 1995-2002
35. Kulkarni, V G, Nicola, V F and Trivedi, K 'On modeling the performance and reliability of multi-mode computer systems', Journal of Systems and Software, Vol 6 (1986) pp 175-183
36. Bobbio, A and Telek, M 'Task completion time'. Proceedings 2nd International Workshop on Performability Modelling of Computer and Communication Systems (PMCCS2) (1993)
37. Gross, D and Miller, D 'The randomization technique as a modeling tool and solution procedure for transient Markov processes', Operations Research, Vol 32 (1984) pp 343-361
38. Aldous, D and Shepp, L 'The least variable phase type distribution is Erlang', Stochastic Models, Vol 3 (1987) pp 467-473
39. Wolff, R W Stochastic Modeling and the Theory of Queues, Prentice-Hall, Englewood Cliffs, NJ (1989)
40. Bobbio, A and Telek, M 'A benchmark for PH estimation algorithms: results for Acyclic-PH', Stochastic Models, Vol 10 (1994) pp 661-677
41. Cox, D R 'The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables', Proceedings Cambridge Philosophical Soc., Vol 51 (1955) pp 433-440