Skip to main content
SpringerLink
Log in

Structured representation of knowledge by Petri nets as an aid for teaching and research

  • Conference paper
  • First Online:
Net Theory and Applications

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

Abstract

Petri nets are used to illustrate statements and dependencies in a lucid and precise way. Examples are given to indicate how this graphical representation can be used.

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.

Literature References

  1. Freytag, J.C.,Krieger, P.,Kutschker, G.,Lamersdorf, W.: Darstellung von Wissen mit Petrinetzen im Hinblick auf die Benutzung als ‘programmierte Unterweisung’ und am Beispiel der Theorie endlicher Automaten. Hamburg, Fachbereich Informatik, Univ. Hamburg, Studienarbeit, (1978).

    Google Scholar 

  2. Genrich,H.J.: The Petri Net Representation of Mathematical Knowledge. GMD Bonn, Interner Bericht, ISF-76-05, (1976).

    Google Scholar 

  3. Genrich,H.J.,Thieler-Mevissen,G.: The Calculus of Facts. Lecture Notes in Computer Science, 45, (1976).

    Google Scholar 

  4. Genrich,H.J.,Lautenbach,K.: The Analysis of Distributed Systems by Means of Predicate/Transition-Nets. GMD Bonn, ISF-Report 79.01, (1979).

    Google Scholar 

  5. Jantzen,M.: Eigenschaften von Petrinetzsprachen. Hamburg, Fachbereich Informatik, Univ. Hamburg, Ph.D. thesis, (1979).

    Google Scholar 

  6. Jantzen,M.,Valk,R.: Formal Properties of Place/Transition-Nets. in these proceedings.

    Google Scholar 

  7. Petri,C.A.: Interpretations of Net Theory. GMD Bonn, Interner Bericht, ISF-75-07, second edition, (1976).

    Google Scholar 

  8. Wilson, R.L.: Much Ado About Calculus. New York, Heidelberg, Berlin, Springer, (1979).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Hamburg, Germany

    M. Jantzen

Authors
  1. M. Jantzen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wilfried Brauer

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jantzen, M. (1980). Structured representation of knowledge by Petri nets as an aid for teaching and research. In: Brauer, W. (eds) Net Theory and Applications. Lecture Notes in Computer Science, vol 84. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10001-6_38

Download citation

  • DOI: https://doi.org/10.1007/3-540-10001-6_38

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10001-0

  • Online ISBN: 978-3-540-39322-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation