Advertisement

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

  • M. Jantzen
Conference paper
Part of the Lecture Notes in Computer Science book series (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.

Keywords

Input Transition Finite Automaton Chapter VIII Input Place Output 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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature References

  1. 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. 2.
    Genrich,H.J.: The Petri Net Representation of Mathematical Knowledge. GMD Bonn, Interner Bericht, ISF-76-05, (1976).Google Scholar
  3. 3.
    Genrich,H.J.,Thieler-Mevissen,G.: The Calculus of Facts. Lecture Notes in Computer Science, 45, (1976).Google Scholar
  4. 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. 5.
    Jantzen,M.: Eigenschaften von Petrinetzsprachen. Hamburg, Fachbereich Informatik, Univ. Hamburg, Ph.D. thesis, (1979).Google Scholar
  6. 6.
    Jantzen,M.,Valk,R.: Formal Properties of Place/Transition-Nets. in these proceedings.Google Scholar
  7. 7.
    Petri,C.A.: Interpretations of Net Theory. GMD Bonn, Interner Bericht, ISF-75-07, second edition, (1976).Google Scholar
  8. 8.
    Wilson, R.L.: Much Ado About Calculus. New York, Heidelberg, Berlin, Springer, (1979).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • M. Jantzen
    • 1
  1. 1.University of HamburgGermany

Personalised recommendations