On performance bounds for interval Time Petri Nets

Proceedings - First International Conference on the Quantitative Evaluation of Systems, QEST 2004

Volumn , Issue , 2004, Pages 50-59

  Bernardi, Simona ^a   Campos, Javier ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

EXTENDED TIME PETRI NETS (XTPN); INTERVAL TIME PETRI NETS; PLACE/TRANSITION (P/T) PETRI NETS; TIME PETRI NETS (TPN);

FLEXIBLE MANUFACTURING SYSTEMS; LINEAR PROGRAMMING; PROBABILITY DENSITY FUNCTION; PROBLEM ORIENTED LANGUAGES; RANDOM PROCESSES; REAL TIME SYSTEMS;

PETRI NETS;

EID: 16244416518     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2004.1348019     Document Type: Conference Paper

References (24)

1. B. Berthomieu. Time petri Net Analyzer (TINA) toolbox. http://www.laas.fr/tina/.
2. B. Berthomieu. La méthode des Classes d'États pour l'Analyse des Réseaux Temporels - Mise en Oeuvre, Extension à la multi-sensibilisation, Modélisation des Systèmes Réactifs. In Proc. of MSR'2001, pages 254-263, Toulouse, France, 2001. Hermes Sciences.
3. B. Berthomieu and M. Diaz. Modeling and Verification of Time Dependent Systems Using Time Petri Nets. IEEE Trans. on Soft. Eng., 12(3):259-273, March 1991.
4. B. Berthomieu and M. Menasche. An enumerative approach for analysing Time Petri Nets. In IFIP congress, Paris, France, 1983.
5. J. Campos. Performance Bounds. In Balbo, G. and Silva, M., editor, Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, pages 587-635, Editorial KRONOS, Zaragoza, Spain, September 1998. Chapter 17.
6. J. Campos, G. Chiola, J. Colom, and M. Silva. Properties and Performance Bounds for Timed Marked Graphs. IEEE Trans. on Circuits and Systems I: Fundamental Theory and Applications, 39(5):386-401, May 1992.
7. J. Campos, G. Chiola, and M. Silva. Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. IEEE Trans. on Automatic Control, 36(12):352-391, December 1991.
8. J. Campos and M. Silva. Structural Techniques and Performance Bounds of Stochastic Petri Net Models. In G. Rozenberg, editor, Advances in Petri Nets, volume 609 of LNCS, pages 352-391. Springer Verlag, Berlin, 1992.
9. G. Chiola. Timed Petri Nets. In G. Balbo and M. Silva, editors, Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, volume 1. Editorial KRONOS, Zaragoza, Spain, September 1998.
10. t h Int. Workshop on Petri Nets and Performance Models, pages 128-137, Toulouse, France, October 1993.
11. G. Juanole and Y. Atamna. Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems. In Proc. of PNPM, pages 32-41, 1991.
12. G. Juanole, M. Diaz, and F. Vernadat. Reseaux de Petri etendus et methodologie pour l'analyse de performances. Technical report, LAAS, Toulouse (France), 2003. n.03480.
13. E. Lazowska, J. Zahorjan, G. Scott Graham, and C. Sevcik. Quantitative System Performance: Computer System Analysis Using Queueing Network models. Prentice-Hall, 1984.
14. Z. Liu. Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach. IEEE Trans. on Soft. Eng., 24(11), November 1998.
15. M. A. Marsan and et al. The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets. IEEE Trans. on Soft. Eng., 15(7):832-846, 1989.
16. P. Merlin and D. Faber. Recoverability of communication protocols. IEEE Trans Commun., COM-24(9), 1976.
17. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541-580, April 1989.
18. L. Popova. On Time Petri Nets. Journal Inform. Process. Cybern., EIK (formerly: Elektron. Inform. verarb. Kybem.), 27(4):227-244, 1991.
19. L. Popova-Zeugmann and D. Schlatter. Analyzing paths in time Petri nets. Fundam. Inf., 37(3):311-327, 1999.
20. C. Ramchandani. Analysis of asynchronous concurrent systems by Timed Petri Nets. PhD thesis, MIT Cambridge, MA, United Kingdom, 1974.
21. J. Roux and G. Juanole. Functional and Performance Analysis Using Extended Time Petri Nets. In Proceedings of PNPM, pages 14-23, 1987.
22. M. Scarpa and A. Bobbio. Kronecker representation of Stochastic Petri nets with discrete PH distributions. In Int. Computer Performance and Dependability Symposium - IPDS98, pages 52-61. IEEE CS Press, 1998.
23. R. H. Sloan and U. A. Buy. Reduction Rules for Time Petri Nets. Acta Informatica, 33(7):687-706, 1996.
24. E. Teruel, G. Franceschinis, and M. Silva. Untimed Petri Nets. In Balbo, G. and Silva, M., editor, Performance Models for Discrete Event Systems with Synchronizations: Formalisms and Analysis Techniques, pages 27-76, Editorial KRONOS, Zaragoza, Spain, September 1998. Chapter 2.