Advertisement

Facts in place/transition-nets

  • Hartmann J. Genrich
  • Kurt Lautenbach
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 64)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Dijkstra, E.W.: A Discipline of Programming Prentice Hall, Inc. Englewood Cliffs, N.J. (1976)Google Scholar
  2. 2.
    Genrich, H.J.; Lautenbach, K.: Synchronisationsgraphen Acta Informatica 2, 143–161 (1973)CrossRefGoogle Scholar
  3. 3.
    Genrich, H.J.; Lautenbach, K.: The Formulation and Implementation of Facts in Place/Transition-Nets ISF-Report (to appear), Gesellschaft für Mathematik und Datenverarbeitung Bonn (1978)Google Scholar
  4. 4.
    Genrich, H.J.; Thieler-Mevissen, G.: The Calculus of Facts in: MFCS '76, Lecture Notes in C.S. 45 (1976)Google Scholar
  5. 5.
    Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen Bericht Nr. 82 der Gesellschaft für Mathematik und Datenverarbeitung Bonn (1973)Google Scholar
  6. 6.
    Lautenbach, K.; Wedde, H.: Generating Control Mechanisms by Restrictions in: MFCS '76, Lecture Notes in C.S. 45 (1976)Google Scholar
  7. 7.
    Patil, S.S.: Coordination of Asynchronous Events MAC TR-72, Project MAC MIT (1970)Google Scholar
  8. 8.
    Peterson, J.L.: Petri Nets ACM Computing Surveys 9(3), 223–252 (1977)CrossRefGoogle Scholar
  9. 9.
    Petri, C.A.: Interpretations of Net Theory Internal Report ISF 75-207, Gesellschaft für Mathematik und Datenverarbeitung Bonn (1975)Google Scholar
  10. 10.
    Smullyan, R.M.: First-Order Logic Springer Verlag Berlin Heidelberg New York (1968)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Hartmann J. Genrich
    • 1
  • Kurt Lautenbach
    • 1
  1. 1.Gesellschaft fuer Mathematik und DatenverarbeitungSt. Augustin 1W. Germany

Personalised recommendations