Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    E. Best, Beitraege zur Petrinetz — Theorie, Diplomarbeit, Institut fuer Informatik, Universitaet Karlsruhe, 1974Google Scholar
  2. 2.
    H.J. Genrich, Einfache nicht — sequentielle Prozesse, Berichte der GMD Nr. 37, Bonn, 1971Google Scholar
  3. 3.
    H.J. Genrich, K. Lautenbach, Synchronisationsgraphen Acta Informatica 2, 143–161, 1973CrossRefGoogle Scholar
  4. 4.
    M.H. Hack, Analysis of production schemata by Petri nets, TR94, Project MAC, MIT, 1972Google Scholar
  5. 5.
    A.W. Holt and F. Commoner, Events and Conditions, Record of the Project MAC Conference on Concurrent Systems and Parallel Computation, ACM, New York, 1970, 3–52Google Scholar
  6. 6.
    K. Lautenbach, Exakte Bedingungen der Lebendigkeit fuer eine Klasse von Petri-Netzen, Berichte der GMD Nr. 82, Bonn, 1973Google Scholar
  7. 7.
    K. Lautenbach, H.A. Schmid, Use of Petri nets for proving correctness of concurrent process systems, Information Processing 1974, 187–191, North Holland Publ. Comp., 1974Google Scholar
  8. 8.
    C.A. Petri, Kommunikation mit Automaten, Schriften des IIM Nr.2, Bonn, 1962Google Scholar
  9. 9.
    C.A. Petri, Concepts of net theory, Proc. of the Symp. on Mathematical Foundations of Computer Science, 137–146, High Tatras, 1973Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • Eike Best
    • 1
  • Hans Albrecht Schmid
    • 2
  1. 1.Neustadt
  2. 2.Department of Computer ScienceUniversity of TorontoTorontoCanada

Personalised recommendations