Product-form and stochastic Petri nets: A structural approach

Performance Evaluation

Volumn 59, Issue 4, 2005, Pages 313-336

  Haddad, S ^a   Moreaux, P ^a,b   Sereno, M ^c   Silva, M ^d  

^a UNIVERSITÉ PARIS DAUPHINE   (France)

^b UNIVERSITÉ DE REIMS CHAMPAGNE ARDENNE   (France)

^c UNIVERSITY OF TURIN   (Italy)

^d UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Performance evaluation; Product form; Stochastic Petri net; Subclasses of Petri nets

Indexed keywords

ALGORITHMS; AUTOMATA THEORY; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; EVALUATION; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PERFORMANCE; POLYNOMIALS; PROBABILITY; QUEUEING NETWORKS; STOCHASTIC PROGRAMMING;

PERFORMANCE EVALUATION; PRODUCT-FORM; STOCHASTIC PETRI NETS; SUBCLASSES OF PETRI NETS;

PETRI NETS;

EID: 15744377250     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.peva.2004.08.004     Document Type: Article

References (46)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis Modelling with Generalized Stochastic Petri Nets 1995 Wiley New York
2. 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
3. B. Baynat, and Y. Dallery Approximate analysis of multi-class synchronized closed queueing networks Proceedings of the International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'95) Durham, NC, January 1995
4. G. Bolch, S. Greiner, H. de Meer, and K.S. Trivedi Queueing Networks and Markov Chains 1998 Wiley New York
5. R.J. Boucherie A characterisation of independence for competing Markov chains with application to stochastic Petri nets Proceedings of the 5th International Workshop on Petri Nets and Performance Models Toulouse, France, October 19-22 1993 IEEE Computer Society Press, Silverspring, MD 117 126
6. R.J. Boucherie, and M. Sereno On closed support T-invariants and traffic equations J. Appl. Prob. 35 1998 473 481
7. J.P. Buzen Computational algorithms for closed queueing networks with exponential servers Commun. ACM 16 9 1973 527 531
8. J. Campos, J.M. Colom, H. Jungnitz, and M. Silva Approximate throughput computation of stochastic marked graphs IEEE Trans. Softw. Eng. 20 7 1994 526 535
9. J. Campos, and M. Silva Structural techniques and performance bounds of stochastic Petri nets models. Desing methods based on nets (DEMON) G. Rozenberg Advances in Petri Nets, Lecture Notes in Computer Science, vol. 609 1992 Springer, Berlin 352 391
10. E. Cardoza, R.J. Lipton, and A.R. Meyer Exponential space complete problems for Petri nets and commutative semigroups Proceedings of the 8th Annual Symposium on Theory of Computing 1976 50 54
11. A. Cheng, J. Esparza, and J. Palberg Complexity results for 1-safe nets Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science Bombay, India 1993
12. 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
13. J.L. Coleman, W. Henderson, C.E.M. Pearce, and P.G. Taylor A correspondence between product form batch movement queueing networks and single movement networks J. Appl. Prob. 34 1 1997 160 175
14. J.L. Coleman, W. Henderson, and P.G. Taylor Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets Perform. Eval. 26 3 1996 159 180
15. J. Esparza Decidability and Complexity of Petri Nets Problems - An Introduction 1998 Springer, Berlin 374 428
16. J. Esparza, and M. Nielsen Decidability issues for Petri nets - a survey J. Inform. Process. Cybernet. 30 3 1994 143 160 (former version in Bull. EATCS 52 (1994) 245-262)
17. D. Frosch Product form solution for closed synchronized systems of stochastic sequential processes Proceedings of the International Computer Symposium Taichung, Taiwan, December 1992 392 402
18. W.J. Gordon, and G.F. Newell Closed queueing systems with exponential servers Oper. Res. 15 1967 254 265
19. W. Henderson, D. Lucic, and P.G. Taylor A net level performance analysis of stochastic Petri nets J. Aust. Math. Soc., Ser. B 31 1989 176 187
20. W. Henderson, C.E.M. Pearce, P.G. Taylor, and N.M. van Dijk Closed queueing networks and batch services Queueing Syst. 6 1990 59 70
21. W. Henderson, and P.G. Taylor Aggregation methods in exact performance analysis of stochastic Petri nets Proceedings of the 3rd International Workshop on Petri Nets and Performance Models Kyoto, Japan, December 1989 IEEE-CS Press, Silverspring, MD 12 18
22. W. Henderson, and P.G. Taylor Embedded processes in stochastic Petri nets IEEE Trans. Softw. Eng. 17 1991 108 116
23. J. Hillston A Compositional Approach to Performance Modelling 1996 Cambridge University Press, Cambridge
24. J.R. Jackson Jobshop-like queueing systems Manage. Sci. 10 1 1963 131 142
25. J.R. Jackson Networks of waiting lines Oper. Res. 3 1957 518 521
26. N.D. Jones, L.H. Landweber, and Y.E. Lien Complexity of some problems in Petri nets Theoret. Comput. Sci. 4 1977 277 299
27. T.W. Keller, Computer systems models with passive resources, Ph.D. Dissertation, University of Texas, Austin, USA, 1976.
28. F.P. Kelly Markov processes and Markov random fields Bull. Inst. Int. Statist. 46 1975 397 404
29. F.P. Kelly Reversibility and Stochastic Networks 1979 Wiley London
30. A.A. Lazar, and T.G. Robertazzi Markovian Petri net protocols with product form solution Proceedings of the INFOCOM'87 San Francisco, CA, USA 1987 1054 1062
31. M. Li, and N.D. Georganas Parametric analysis of stochastic Petri nets Proceedings of the Fifth International Conference on Modelling and Tools for Computer Performance Evaluation Torino, Italy, February 1991
32. R.J. Lipton The reachability problem requires exponential space, Technical Report, Department of Computer Science 1976 Yale University
33. J. Martinez, and M. Silva A simple and fast algorithm to obtain all invariants of a generalized Petri net Proceedings of the 2nd European Workshop on Application and Theory of Petri Nets Bad Honnef, West Germany 1981 Springer, Berlin
34. E.W. Mayr, and A.R. Meyer The complexity of the word problems for commutative semigroups and polynomial ideals Adv. Math. 46 1982 305 329
35. P. Moreaux, Boucherie product process of competing Markov chains and S Π 2 nets, May 30, 2002. Internal note available at http://lamsade.dauphine. fr/∼moreaux/publications/ppcmcspi2n-tr02.pdf.
36. T. Murata Petri nets: properties, analysis, and applications Proc. IEEE 77 4 1989 541 580
37. R.D. Nelson The mathematics of product form queuing networks ACM Comput. Surv. 25 3 1993 339 369
38. J.L. Peterson Petri Net Theory and the Modeling of Systems 1981 Prentice-Hall Englewood Cliffs, NJ
39. B. Plateau, and K. Atif Stochastic automata network for modeling parallel systems IEEE Trans. Softw. Eng. 17 10 1991 1093 1108
40. M. Reiser, and S.S. Lavenberg Mean value analysis of closed multichain queueing networks J. ACM 27 2 1980 313 322
41. W. Reisig, G. Rozenberg (Eds.) Advances in Petri Nets, Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Vol. 1491, Springer, Berlin, 1998.
42. H. Sauer, E.A. MacNair, and J.F. Kurose The research queueing package: past, present, and future Proceedings of the National Computer Conference AFIPS 1982
43. M. Sereno Product form and Petri nets, Modelling and analysis of time constrained and hierarchical systems (MATCH), ERB Project CHRX-CT-940452 Chapter 18 Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques 1998
44. R. Serfozo Markovian network processes: congestion-dependent routing and processing Queueing Syst. 5 1989 5 36
45. M. Silva, Las Redes de Petri en la Automatica y la Informatica, Madrid, Spain, 1985 (in Spanish).
46. M. Silva Toward a synchrony theory for P/T nets K. Voos H.J. Genrich G. Rozenberg Concurrency and Nets 1987 Springer, Berlin 435 460