Introduction to generalized stochastic Petri nets

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

Volumn 4486 LNCS, Issue , 2007, Pages 83-131

  Balbo, Gianfranco ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; DYNAMICAL SYSTEMS; LARGE SCALE SYSTEMS; PETRI NETS; PROBABILISTIC LOGICS; RELIABILITY;

ADVANCED MATERIAL; AUTOMATIC CONSTRUCTION; COMPUTATIONAL ASPECTS; STOCHASTIC PETRI NETS;

STOCHASTIC CONTROL SYSTEMS;

EID: 34548095998     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72522-0_3     Document Type: Conference Paper

References (51)

1. T. Agerwala. Putting Petri nets to work. IEEE Computer, pages 85-94, December 1979.
2. 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, 15(7):832-846, July 1989.
3. M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte. Generalized stochastic Petri nets revisited: Random switches and priorities. In Proc. Intern. Workshop on Petri Nets and Performance Models, pages 44-53, Madison, WI, USA, August 1987. IEEE-CS Press.
4. M. Ajmone Marsan, G. Balbo, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.
5. M. Ajmone Marsan, G. Balbo, and G. Conte. Performance Models of Multiprocessor Systems. MIT Press, Cambridge, USA, 1986.
6. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. J. Wiley, 1995.
7. M. Ajmone Marsan, G. Balbo, and K.S. Trivedi, editors. Proc. Intern. Workshop on Timed Petri Nets, Torino, Italy, July 1985. IEEE-CS Press.
8. th European Workshop on Application and Theory of Petri Nets, pages 151-165, Oxford, England, June 1986.
9. H. Alaiwan and G. Memmi. Algorithmes de recherche des solutions entieres positives d'un systeme d'equations lineaires homogeneus en nombres entieres. Revue Technique Thomson-CSF, 14(1):125-135, March 1982. in French.
10. H. Alaiwan and J. Mt Toudic. Research des semiflots, des verrous et des trappes dans le reseaux de Petri. Technique et Science Informatiques, 4(1), February 1985.
11. G. Balbo. Exponential stochastic petri nets. In G. Balbo and M. Silva, editors, Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques, pages 307-344. KRONOS, Zaragoza, Spain, 1998.
12. G. Balbo. Non-exponential stochastic petri nets. In G. Balbo and M. Silva, editors, Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques, pages 345-385. KRONOS, Zaragoza, Spain, 1998.
13. G. Balbo. Introduction to stochastic petri nets. In E. Brinksma, H. Hermanns, and J.-P. Katoen, editors, Formal Methods and Performance Analysis, LNCS Vol. 2090, pages 84-155. Springer-Verlag, Berlin, Germany, May 2001.
14. G. Balbo, M. Silva, and editors, Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques. KRONOS, Zaragoza, Spain, 1998.
15. rd Intern. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press.
16. th Intern. Conference on Applications and Theory of Petri Nets, number 185 in LNCS, Zaragoza, Spain, 1994. Springer-Verlag.
17. rd Intern. Workshop on Petri Nets and Performance Models, pages 187-197, Kyoto, Japan, December 1989. IEEE-CS Press.
18. G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte. Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Transactions on Software Engineering, 19(2):89-107, February 1993.
19. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic Well-Formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11), November 1993.
20. rd Intern. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press.
21. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, 24, 1995. Special Issues on Performance Modelling Tools.
22. th Intern. Conference on Application and Theory of Petri Nets, Chicago, Illinois, June 1993. Springer Verlag.
23. H. Choi, V.S. Kulkarni, and K.S. Trivedi. Markov regenerative stochastic Petri nets. In Proc. of Performance 93, Rome, Italy, September 1993.
24. G. Ciardo. Analysis of large Petri net models. PhD thesis, Department of Computer Science, Duke University, Durham, NC, USA, 1989. Ph. D. Thesis.
25. th Intern. Workshop on Petri Nets and Performance Models, pages 170-179, Toulouse, France, October 1993. IEEE-CS Press.
26. th Intern. Workshop on Petri Nets and Performance Models, pages 160169, Toulouse, France, October 1993. IEEE-CS Press.
27. G. Ciardo, J. Muppala, and K.S. Trivedi. On the solution of GSPN reward models. Performance Evaluation, 12(4):237-253, July 1991.
28. A. Cumani. On the canonical representation of homogeneousMarkov processes modelling failure time distributions. Microelectron Reliability, 22:583-602, 1982.
29. J.B. Dugan, K.S. Trivedi, R.M. Geist, and V.F. Nicola. Extended stochastic Petri nets: Applications and analysis. In Proc. PERFORMANCE '84, Paris, France, December 1984.
30. rd Intern. Workshop on Petri Nets and Performance Models, Kyoto, Japan, December 1989. IEEE-CS Press.
31. G. Florin and S. Natkin. Les reseaux de Petri stochastiques. Technique et Science Informatiques, 4(1), February 1985.
32. rd Intern. Workshop on Petri Nets and Performance Models, pages 29-39, Kyoto, Japan, December 1989. IEEE-CS Press.
33. R. German and C. Lindemann. Analysis of stochastic Petri nets by the method of supplementary variables. In Proc. of Performance 93, Rome, Italy, September 1993.
34. K. Lautenbach. Linear algebraic technique for place/transition nets. In W. Brawer, W. Reisig, and G. Rozenberg, editors, Advances on Petri Nets '86 - Part I, volume 254 of LNCS, pages 142-167. Springer Verlag, Bad Honnef, West Germany, February 1987.
35. C. Lin and D.C. Marinescu. On stochastic high level Petri nets. In Proc. Intern. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August 1987. IEEE-CS Press.
36. th Intern. Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993. IEEE-CS Press.
37. nd European Workshop on Application and Theory of Petri Nets, Bad Honnef, West Germany, September 1981. Springer Verlag.
38. P. M. Merlin and D. J. Farber. Recoverability of communication protocols: Implications of a theoretical study. IEEE Transactions on Communications, 24(9): 10361043, September 1976.
39. J. F. Meyer, A. Movaghar, and W. H. Sanders. Stochastic activity networks: Structure, behavior, and application. In Proc. Intern. Workshop on Timed Petri Nets, pages 106-115, Torino,Italy, July 1985.
40. M.K. Molloy. On the Integration of Delay and Throughput Measures in Distributed Processing Models. PhD thesis, UCLA, Los Angeles, CA, 1981. Ph.D. Thesis.
41. M.K. Molloy, T. Murata, and M.K. Vernon, editors. Proc. Intern. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987. IEEE-CS Press.
42. T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
43. S. Natkin. Les Reseaux de Petri Stochastiques et leur Application a l'Evaluation des Systemes Informatiques. PhD thesis, CNAM, Paris, France, 1980. These de Docteur Ingegneur.
44. M.F. Neuts. Matrix Geometric Solutions in Stochastic Models. Johns Hopkins University Press, Baltimore, MD, 1981.
45. J. D. Noe and G. J. Nutt. Macro e-nets representation of parallel systems. IEEE Transactions on Computers, 31(9):718-727, August 1973.
46. J.L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, NJ, 1981.
47. C.A. Petri. Communication with automata. Technical Report RADC-TR-65-377, Rome Air Dev. Center, New York, NY, 1966.
48. W. Reisig. Petri Nets: an Introduction. Springer Verlag, 1985.
49. F. J. W. Symons. Introduction to numerical Petri nets, a general graphical model of concurrent processing systems. Australian Telecommunications Research, 14(1):2833, January 1980.
50. M. Telek and A. Bobbio. Markov regenerative stochastic petri nets with age type general transitions. In Proc. 16th International Conference on Application and Theory of Petri Nets, LNCS. Springer Verlag, 1995.
51. R.S. Varga. Matrix Iterative Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1962.