GSPN semantics for queueing networks with blocking

International Workshop on Petri Nets and Performance Models

Volumn , Issue , 1997, Pages 26-35

  Gribaudo, Marco ^a   Sereno, Matteo ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GENERALIZED STOCHASTIC PETRI NETS (GSPN);

COMPUTATIONAL LINGUISTICS; COMPUTER NETWORKS; CONSTRAINT THEORY; RANDOM PROCESSES;

PETRI NETS;

EID: 0030683742     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Do-natelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
2. S. Balsamo and V. De Nitto-Persone. Closed queueing networks with finite capacities: Blocking types, product-form solution and performance indices. Performance Evaluation, 12:85-102, 1991.
3. S. Balsamo and V. De Nitto-Personé. A survey of product-form queueing networks with blocking and their equivalences. Annals of Operation Research, 48:31-61, 1994.
4. J. Campos, G. Chiola, J. M. Colom, and M. Silva. Properties and performance bounds for timed marked graphs. IEEE Transdctions on Circuits and Systems - 1: Fundamental Theory and Applications, 39(5):386-401, May 1992.
5. J. Campos, G. Chiola, and M. Silva. Properties and performance bounds for closed free choice synchronized monoclass queueing networks. IEEE Transactions on Automatic Control, 36(12):1368-1382, December 1991.
6. th Intern. Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993. IEEE-CS Press.
7. th Intern. Workshop on Petri Nets and Performance Models, pages 187-197, Kyoto, Japan, December 1989. IEEE-CS Press.
8. G. Chiola, C. Anglano, J. Campos, J. M. Colom, and M. Silva. Operational analysis of timed Petri nets and applications to the computation of performance bounds. In Proc. 5th Intern. Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993. IEEE-CS Press.
9. G. Chiola, G. Franceschinis, R,. Gaeta, and M. Rib-audo. GreatSPN1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, November 1995. Special issue on Performance Modeling Tools.
10. J. M. Colom and M. Silva. Improving the linearly based characterization of P/T nets. In Proc. 10th Intern. Conference on Application and Theory of Petri Nets, pages 52-73, Bonn, Germany, June 1989.
11. W. J. Gordon and G. F. Newell. Cyclic queueing systems with restricted queues. Operations Research, 15:266-278, 1967.
12. F. P. Kelly. Loss networks. Anns. Appl. Prob., 1(3):319-378, 1991.
13. S. Kundu and I. F. Akyldiz. Deadlock free buffer allocation in closed queueing networks. Queueing Systems, 4:47-56, 1989.
14. Z. Liu. Performance bounds for stochastic timed Petri nets. In Application and Theory of Petri Nets 1995, Proc. 16th Intern. Conference, LNCS, N. 935, Torino, Italy, June 1995. Springer Verlag.
15. T. Murata. Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
16. R. O. Onvural. Survey of closed queueing networks with blocking. ACM Computing Surveys, 22:83-121, 1990.
17. H. G. Perros. Queueing Networks with Blocking. Oxford, 1994.
18. M. Sereno. Approximate mean value analysis for stochastic marked graphs. IEEE Transactions on Software Engineering, 22(9):654-664, 1996.