Petri nets with k simultaneously enabled generally distributed timed transitions

Performance Evaluation

Volumn 32, Issue 1, 1998, Pages 1-34

  Puliafito, A ^a   Scarpa, M ^b   Trivedi, K S ^c,d,e  

^a UNIVERSITY OF CATANIA   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

^c USA   (United States)

^d INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

^e UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Markov regenerative processes; Performance and reliability modeling; Stochastic Petri nets; Transient and steady state analysis

Indexed keywords

LARGE SCALE SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; PERFORMANCE; RELIABILITY; SYNCHRONIZATION;

DISTRIBUTED TIMED TRANSITIONS; MARKOV REGENERATIVE PROCESSES;

PETRI NETS;

EID: 0345914603     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0166-5316(97)00013-8     Document Type: Article

References (22)

1. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte and A. Cumani, The effect of execution policies on the semantics of stochastic Petri ets, IEEE Trans. Software Engrg. 15 (7) (1989) 832-846.
2. M. Ajmone Marsan and G. Chiola, On Petri net with deterministic and exponenetially distributed firing time, in: G. Rozenberg (Ed.), Advances in Petri Nets, Lecture Notes in Computer Science, 266, Springer, Berlin (1987) 132-145.
3. M. Ajmone Marsan, G. Chiola and G. Conte, On Petri nets with deterministic and exponential transition firing times, Proc. 7th European Workshop on Appl. and Theory of Petri Nets, Oxford, UK, June 1986.
4. M. Ajmone Marsan, G. Conte and G. Balbo, A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Trans. on Computer Systems 2 (2) (1984) 93-122.
5. R. Bellman, R.E. Kalaba and J.O. Lockett, Numerical Inversion of the Laplace Transform, Elsevier, New York (1966).
6. A. Bobbio, V.G. Kulkarni, A. Puliafito, M. Telek and K. Trivedi, Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets, Proc. 6th Internat. Conf. on Petri Nets and Performance Models - PNPM95, IEEE Computer Soc. Press, Silver Spring, MD (1995) 113-122.
7. A. Bobbio and M. Telelk, Markov regenerative SPN with non-overlapping activity cycles, Proc. Internat. Computer Performance and Dependability Symp., IPDS95, IEEE Computer Soc. Press, Silver Spring, MD (1995) 124-133.
8. V. Catania, A. Puliafito, M. Scarpa and L. Vita, Concurrent generalized Petri nets, in: W.J. Stewart (Ed.), Proc. 2nd International Workshop on the Numerial Solution of Markov Chains, Kluwer Academic Publishers, Dordrecht (1995) 359-382.
9. S. Chen and D. Towsley, The design and evaluation of RAID5 and parity striping disk array architectures, J. Parallel and Distributed Computing 17 (1-2) (1993) 58-74.
10. H. Choi, V.G. Kulkarni and K.S. Trivedi, Transient analysis of deterministic and stochastic Petri nets, Proc. 14th Internat Conf. on Application and Theory of Petri Nets, Chicago, USA, 1993, pp. 21-25.
11. H. Choi, V.G. Kulkarni and K.S. Trivedi, Markov regenerative stochastic Petri nets, Proc. 16th IFIP W.G.7.3 Internat. Symp. on Computer Perf. Modelling, Measurement and Evaluation, Roma, Italy, 27 September-1 October 1993, pp. 337-357.
12. G. Ciardo, R. German and C. Lindemann, A characterization of stochastic process underlying a stochastic Petri net, IEEE Trans. Software Engrg. 20 (7) (1994) 506-515.
13. J.B. Dugan, K.S. Trivedi and R.M. Geist, Extended stochastic Petri nets: Application and analysis, Proc. Performance '84, Paris, France, 1984, pp. 507-519.
14. R. German, New results for the analysis of deterministic and stochastic Petri nets, Proc. Internat. Computer Performance and Dependability Symp. - IPDS95, IEEE Computer Soc. Press, Silver Spring, MD (1995) 114-123.
15. R. German and C. Lindemann, Analysis of stochastic Petri nets by the method of supplementary variables, Proc. 16th IFIP W. G.7.3 Internat. Symp. on Computer Performance Modelling, Measurement and Evaluation, Roma, Italy, 27 September-1 October 1993, pp. 320-338.
16. R. German, D. Logothetis and K. Trivedi, Transient analysis of Markov regenerative stochastic Petri nets: A comparison approaches, Proc. Internat. Conf. on Petri Nets and Performance Models - PNPM95, IEEE Computer Soc. Press, Silver Spring, MD (1995) 103-112.
17. K. Kant, Introduction to Computer System Performance Evaluation, McGraw-Hill, New York (1992).
18. V.G. Kulkarni, Modelling and Analysis of Stochastic System, Chapman Hall, London (1995).
19. M.K. Molloy, Performance analysis using stochastic Petri nets, IEEE Trans. Computers C-31 (9) (1982) 913-917.
20. J.L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981).
21. L. Pomello, G. Rozenberg and C. Simone, A survey of equivalence notions for net based systems, Advances in Petri Nets (APN) (1992) 410-472.
22. S.M. Ross, Stochastic Process, Wiley, New York (1983).