Skip to main content
SpringerLink
Log in

Facts in place/transition-nets

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1978 (MFCS 1978)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 64))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dijkstra, E.W.: A Discipline of Programming Prentice Hall, Inc. Englewood Cliffs, N.J. (1976)

    Google Scholar 

  2. Genrich, H.J.; Lautenbach, K.: Synchronisationsgraphen Acta Informatica 2, 143–161 (1973)

    Article  Google Scholar 

  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. Genrich, H.J.; Thieler-Mevissen, G.: The Calculus of Facts in: MFCS '76, Lecture Notes in C.S. 45 (1976)

    Google Scholar 

  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. Lautenbach, K.; Wedde, H.: Generating Control Mechanisms by Restrictions in: MFCS '76, Lecture Notes in C.S. 45 (1976)

    Google Scholar 

  7. Patil, S.S.: Coordination of Asynchronous Events MAC TR-72, Project MAC MIT (1970)

    Google Scholar 

  8. Peterson, J.L.: Petri Nets ACM Computing Surveys 9(3), 223–252 (1977)

    Article  Google Scholar 

  9. Petri, C.A.: Interpretations of Net Theory Internal Report ISF 75-207, Gesellschaft für Mathematik und Datenverarbeitung Bonn (1975)

    Google Scholar 

  10. Smullyan, R.M.: First-Order Logic Springer Verlag Berlin Heidelberg New York (1968)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Gesellschaft fuer Mathematik und Datenverarbeitung, Postfach 1240, D-5205, St. Augustin 1, W. Germany

    Hartmann J. Genrich & Kurt Lautenbach

Authors
  1. Hartmann J. Genrich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Kurt Lautenbach
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Winkowski

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Genrich, H.J., Lautenbach, K. (1978). Facts in place/transition-nets. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_69

Download citation

  • DOI: https://doi.org/10.1007/3-540-08921-7_69

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-08921-6

  • Online ISBN: 978-3-540-35757-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation