Coverability Tree Incidence Matrix Elementary Circuit Discrete Event System Input Place 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [DHPSV93]
    DiCesare, F., Harhalakis, G., Proth, J.-M., Silva, M., Vernadat, F., Practice of Petri Nets in Manufacturing, Chapman and Hall, London, UK, 1993Google Scholar
  2. [HP92]
    Hillion, H. P., Proth, J. M., Mathematical Tools in Production Management, Plenum, Paris, France, 1992Google Scholar
  3. [Pe62]
    Petri, C. A., Kommunikation mit Automaten, Bonn, Institut für Instrumentelle Mathematik, Schriften des IIM 3, 1962Google Scholar
  4. [Pe81]
    Peterson, J.L., Petri Nets Theory and Modeling of Systems, Prentice Hall, Englewood Cliffs, NJ, USA, 1981Google Scholar
  5. [PX96]
    Proth, J.-M., Xie, X.-L., Petri Nets: A Tool for Design and Management of Manufacturing Systems, John Wiley and Sons, Chichester, UK, 1996Google Scholar
  6. [Ra74]
    Ramchandani, C., Analysis of Asynchronous Concurrent Systems by Timed Petri Nets, Technical Report 120, Project MAC, M.I.T., Cambridge, MA, USA, 1974Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Jean-Marie Proth

There are no affiliations available

Personalised recommendations