Mean value analysis of stochastic Petri nets

Performance Evaluation

Volumn 29, Issue 1, 1997, Pages 35-62

  Sereno, Matteo ^a   Balbo, Gianfranco ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

Computational algorithms; Mean value analysis algorithm; Product form solution; Stochastic Petri nets

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; COMPUTER NETWORKS; PERFORMANCE; RECURSIVE FUNCTIONS;

COMPUTATIONAL ALGORITHMS; MEAN VALUE ANALYSIS; PRODUCT FORM SOLUTION; STOCHASTIC PETRI NETS;

PETRI NETS;

EID: 0031078868     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0166-5316(96)00003-x     Document Type: Article

References (30)

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 Trans. Software Engrg. 15(7) (1989) 832-846.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis, Modelling with Generalized Stochastic Petri Nets, Wiley, New York (1995).
3. G. Balbo, S.C. Bruell and M. Sereno, Arrival theorems for product-form stochastic Petri nets, Proc. 1994 SIGMETRICS Conf., Nashville, TN, USA, May 1994, ACM, New York.
4. F. Baskett, K.M. Chandy, R.R. Muntz and F. Palacios, Open, closed and mixed networks of queues with different classes of customers, J. ACM 22(2) (1975) 248-260.
5. R.J. Boucherie and M. Sereno, On the traffic equations for batch routing queueing networks and stochastic Petri nets, Technical Report, European Research Consortium for Informatics and Mathematics, 1994, submitted for publication.
6. S.C. Bruell and G. Balbo, Computational Algorithms for Closed Queueing Networks, Elsevier, New York (1980).
7. J.P. Buzen, Computational algorithms for closed queueing networks with exponential servers, Commun. ACM 16(9) (1973) 527-531.
8. J. Campos, G. Chiola and M. Silva, Properties and performance bounds for closed free choice synchronized monoclass queueing networks, IEEE Trans. Automat. Control 36(12) (1991) 1368-1382.
9. G. Chiola, G. Franceschinis, R. Gaeta and M. Ribaudo, GreatSPN1.7: GRaphical editor and analyzer for timed and stochastic Petri nets, Perform. Eval. 24(1-2) (1995) 47-68.
10. J. L. Coleman, Stochastic Petri nets with product form equilibrium distributions, Ph.D. Thesis, University of Adelaide, December 1993. PhD Thesis.
11. J.L. Coleman, W. Henderson and P.G. Taylor, Product form equilibrium distributions and an algorithm for classes of batch movement queueing networks and stochastic Petri nets, Technical Report, University of Adelaide, 1992.
12. T.H. Cormen, C.E. Leiserson and R.L. Rivest, Introduction to Algorithms, McGraw Hill, New York (1989).
13. A.J. Coyle, W. Henderson, C.E.M. Pearce and P.G. Taylor, A general formulation for the mean-value analysis in product form batch-movement queueing networks, Queueing Systems 16 (1994) 363-372.
14. J. Desel and J. Esparza, Reachability in reversible free-choice systems, Technical Report TUM-I9023, Institute für Informatik, 1990.
15. G. Florin and S. Natkin, Les reseaux de Petri stochastiques, Tech. Sci. Inform. 4(1) (1985).
16. W. J. Gordon and G. F. Newell, Closed queueing systems with exponential servers, Oper. Res. 15 (1967) 254-265.
17. W. Henderson, D. Lucic and P.G. Taylor, A net level performance analysis of stochastic Petri nets, J. Austral. Math. Soc. Ser. B 31 (1989) 176-187.
18. W. Henderson and P.G. Taylor, Embedded processes in stochastic Petri nets, IEEE Trans. Software Engrg. 17(2) (1991).
19. J.R. Jackson, Jobshop-like queueing systems, Management Sci. 10(1) (1963) 131-142.
20. A. Jungnitz, H. Desrochers and M. Silva, Approximation techniques for stochastic macroplace/macrotransition nets, Proc. QMIPS Workshop on Stochastic Petri Nets, Sophia Antipolis, France, November 1992, INRIA, pp. 118-146, to appear in Flexible Manufacturing Systems.
21. A.A. Lazar and T.G. Robertazzi, Markovian Petri net protocols with product form solution, Perform. Eval. 12 (1991) 67-77.
22. J.D.C. Little, A proof of the queueing formula l = λw, Oper. Res. 9 (1961) 383-387.
23. M.K. Molloy, Performance analysis using stochastic Petri nets, IEEE Trans. Comput. 31(9) (1982) 913-917.
24. T. Murata, Petri nets: Properties, analysis, and applications, Proc. IEEE 77(4) (1989) 541-580.
25. M. Reiser and S.S. Lavenberg, Mean value analysis of closed multichain queueing networks, J. ACM 27(2) (1980) 313-322.
26. P. J. Schweitzer, A survey of mean value analysis, its generalizations, and applications, for networks of queues, Technical Report, University of Rochester, Rochester, USA, December 1990.
27. th Internat. Workshop on Petri Nets and Performance Models, Durham, NC, USA, October 1995, IEEE Computer Soc. Press, Silver Spring, MD.
28. M. Sereno and G. Balbo, Computational algorithms for product form solution stochastic Petri nets, Proc. 5th Internat. Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993, IEEE Computer Soc. Press, Silver Spring, MD.
29. K.C. Sevcik and I. Mitrani, The distribution of queueing network states at input and output instants, J. ACM 28(2) (1981) 358-371.
30. M. W. Shields, An Introduction to Automata Theory, Blackwell Scientific Publications, Oxford (1987).