The objective of this contribution is to provide the basics of Petri net theory in order to model and evaluate Discrete Event Systems (DES). The first part of the contribution is devoted to the common definitions and properties of Petri nets. Qualitative properties are then introduced. These properties are those who are of importance when manufacturing systems are concerned. Finally, a short introduction of event graphs is proposed; these graphs are of utmost importance to study cyclic DES.
KeywordsCoverability Tree Incidence Matrix Elementary Circuit Discrete Event System Input Place
Unable to display preview. Download preview PDF.
- [HP92]Hillion, H. P., Proth, J. M., Mathematical Tools in Production Man-agement, Plenum, Paris, France, 1992Google Scholar
- [Pet62]Petri, C. A., Kommunikation mit Automaten, Bonn, Institut für Instrumentelle Mathematik, Schriften des IIM 3, 1962Google Scholar
- [Pet81]Peterson, J.L., Petri Nets Theory and Modeling of Systems, Prentice Hall, Englewood Cliffs, NJ, USA, 1981Google Scholar
- [PX96]Proth, J.-M., Xie, X.-L., Petri Nets: A Tool for Design and Manage-ment of Manufacturing Systems, John Wiley and Sons, Chichester, UK, 1996Google Scholar
- [Ram74]Ramchandani, C., Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Technical Report 120, Project MAC, M.I.T., Cambridge, MA, USA, 1974Google Scholar