Modeling and analysis of timed Petri nets using heaps of pieces

ECC 1997 - European Control Conference

Volumn , Issue , 1997, Pages 754-759

  Gaubert, Stéphane ^a   Mairesse, Jean ^b  

^a INRIA   (France)

^b UNIVERSITÉ PARIS DIDEROT   (France)

Author keywords

(max,+) semiring; Automata with multiplicities; Heaps of pieces; Scheduling; Timed Petri nets

Indexed keywords

AUTOMATA THEORY; SCHEDULING; SHAFTS (MACHINE COMPONENTS);

AUTOMATA WITH MULTIPLICITIES; CLASSICAL REPRESENTATION; FREE-CHOICE PETRI NETS; HEAPS OF PIECES; SAFE STATE MACHINE; SEMI-RING; TIMED EVENT GRAPHS; TIMED PETRI NET;

PETRI NETS;

EID: 84983120460     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.23919/ecc.1997.7082187     Document Type: Conference Paper

References (25)

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. on Software Engin., 15(7):832-846, 1989.
2. F. Baccelli, G. Cohen, G. J. Olsder, and J. P. Quadrat. Synchronization and Linearity. John Wiley & Sons, New York, 1992.
3. F. Baccelli, S. Foss, and B. Gaujal. Structural, temporal and stochastic properties of unboundedfree-choicePetri nets. TechnicalReport 2411, INRIA, Sophia Antipolis, France, 1994. To appear in IEEE TAC.
4. J. Berstel and C. Reutenauer. RationalSeries and their Languages. Springer Verlag, 1988.
5. W. Brauer, W. Reisig, and G. Rozenberg, editors. Petri Nets: Central Models and Their Properties, volume254 of Lect. Notes in Computer Sciences. Springer-Verlag, 1987.
6. M. Brilman and J. M. Vincent. Synchronisationby resourcessharing: a performance analysis. Technical report, MAI-IMAG, Grenoble, France, 1995.
7. J. Carlier and P Chretienne. Timed Petri net schedules. In Advances in Petri Nets, number 340 in LNCS, pages 62-84. Springer Verlag, 1988.
8. G. Cohen, D. Dubois, J. P. Quadrat, and M. Viot. A linear system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing. IEEE Trans. Automatic Control, AC-30:210-220, 1985.
9. G. Cohen, S. Gaubert, and J. P. Quadrat. Algebraic system analysis of timed Petri nets. In J. Gunawardena, editor, Idempotency. Cambridge University Press, 1997.
10. J. Desel and J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Comp. Sc. Cambridge Univ. Press, 1995.
11. V. Diekert and G. Rosenberg, editors. The book of traces. World Scientific Publ., 1995.
12. S. Eilenberg. Automata, languagesand machines, volume A. Academic Press, New York, 1974.
13. S. Gaubert. Performanceevaluationof (max, +) automata. IEEETrans. on Automatic Control, 40(12), Dec. 1995.
14. S. Gaubert and J. Mairesse. Task resource models and (max, +) automata. In J. Gunawardena, editor, Idempotency. Cambridge University Press, 1997.
15. M. Gondran and M. Minoux. Graphes et algorithmes. Eyrolles, Paris, 1979.
16. Engl. transl. Graphs and Algorithms, Wiley, 1984.
17. H. Hillion and J. M. Proth. Performance evaluation of job shop systems using timed event graphs. IEEE Trans. Automatic Control, 34(1):3-9, 1989.
18. H. Hulgaard. Timing Analysis and Verification of Timed Asynchronous Circuits. PhD thesis, University of Washington, 1995.
19. A. Mazurkiewicz. Concurrent program schemes and their interpretations. Research report DAIMI Rep. PB-78, Aarhus Univ., 1977.
20. A. Mazurkiewicz. Trace theory. In Petri Nets, Applications and Relationship to other Models of Concurrency, number 255 in LNCS, pages 279-324. Springer Verlag, 1987.
21. T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
22. C. Ramchandani. Analysis of asynchronousconcurrent systems by timed Petri nets. PhD thesis, MIT, Boston, 1974.
23. A. Salomaa and M. Soittola. Automata Theoretic Aspects of Formal Powers Series. Springer Verlag, Berlin, 1978.
24. G. X. Viennot. Heaps of pieces, I: Basic definitions and combinatorial lemmas. In Labelle and Leroux, editors, Combinatoire Énumérative, number 1234 in Lect. Notes in Math., pages 321-350. Springer, 1986.
25. J. M. Vincent. Some ergodic results on stochastic iterative DEDS. Technical Report 4, Apache, IMAG, Grenoble, 1994. To appear in JDEDS.