A comparison between petri-nets and graph grammars

  • Hans-Jörg Kreowski
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 100)


A graph grammar is constructed from a given Petri-net so that direct derivation steps in the grammar correspond to firings of transitions in the net. This close relationship between Petri-nets and graph grammars allows to compare the concurrency concepts of the two theories. As an illustrating example the well-known dining-philosophers problem is discussed.


Direct Derivation Graph Grammar Input Place Firing Sequence Output Place 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. /BPR 79/.
    W. Brauer (ed.): Net Theory and Applications, Proc. of the Advanced Course on General Net Theory of Processes and Systems, Hamburg, 1979, Lect. Notes in Comp. Science 84, Heidelberg 1980Google Scholar
  2. /CER 78/.
    V. Claus, H. Ehrig, G. Rozenberg (eds.): Graph Grammars and Their Application to Computer Science and Biology, Proc. Int. Workshop in Bad Honnef, 1978, Lect. Not. in Comp. Sci. 73, 1979Google Scholar
  3. /Dij 71/.
    E.W. Dijkstra: Hierarchical Ordering of Sequential Processes, Acta Informatica 1, pp. 115–138 (1971)Google Scholar
  4. /Ehr 78/.
    H. Ehrig: Introduction to the Algebraic Theory of Graph Grammars (a Survey), in: /CER 78/, pp. 1–69Google Scholar
  5. /EK 75/.
    H. Ehrig, H.-J. Kreowski: Categorical Approach to Graphical Systems and Graph-Grammars, Proc. Int. Symp. Algebraic System Theory, Udine 1975, Lect. Not. Econ. Math. Syst. 131, pp. 323–351 (1976)Google Scholar
  6. /EK 76/.
    —: Parallelism of Manipulations in Multidemensional Information Structures, Proc. MFCS, Gdansk 1976, Lect. Not. Comp. Sci. 45, pp. 284–293 (1976)Google Scholar
  7. /EK 79/.
    —: Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems, to appear in Information SystemsGoogle Scholar
  8. /EKMRW 79/.
    H. Ehrig, H.-J. Kreowski, A. Maggiolo-Schettini, B.K. Rosen, J. Winkowski: Transformations of Structures: an Algebraic Approach, IBM Research Report RC 7998, Yorktown Heights, 1979Google Scholar
  9. /ER 77/.
    H. Ehrig, B.K. Rosen: The Mathematics of Record Handling, Lect. Not. Comp. Sci. 52, pp. 206–220 (1977)Google Scholar
  10. /ER 79/.
    —: Decomposition of Graph Grammar Productions and Derivations, in: /CER 78/, pp. 192–205Google Scholar
  11. /Kre 77/.
    H.-J. Kreowski: Manipulationen von Graphmanipulationen, Dissertation, FB 20 (Informatik), TU Berlin, 1977Google Scholar
  12. /Kre 78/.
    H.-J. Kreowski: Anwendungen der Algebraischen Theorie von Graph-Grammatiken auf Konsistenz und Synchronisation in Datenbanksystemen, Techn. Report 78-15, FB Informatik, TU Berlin, 1978Google Scholar
  13. /Lau 75/.
    K. Lautenbach: Liveness in Petri-Nets, Internal Report GMD 02.1/75-7-29, Bonn, 1975Google Scholar
  14. /Nag 79/.
    M. Nagl: Graph-Grammatiken: Theorie, Anwendungen, Implementierung, Wiesbaden, Vieweg Verlag, 1979Google Scholar
  15. /Nol 79/.
    H. Noltemeier: Graphentheoretische Modelle und Methoden, Proc. GI-Fachtagung Formale Modelle für Informationssysteme, Tutzing, 1979, Informatik-Fachbericht 21, pp. 170–180Google Scholar
  16. /Pet 76/.
    C.A. Petri: General Net Theory, Proc. Joint IBM Univ. Newcastle upon Tyne, Seminar, B.Shaw (ed.), 1976Google Scholar
  17. /Rei 80/.
    W. Reisig: A Grammar Representation of Nonsequential Processes, this volumeGoogle Scholar
  18. /Ros 75/.
    B.K. Rosen: A Church-Rosser Theorem for Graph Grammars, SIGACT News 7, 3, pp. 26–31 (1975)Google Scholar
  19. /Sch 79/.
    G. Scheschonk: Zur Modellierung von Systemen auf der Basis der Nebenläufigkeit, Proc. GI-Fachtagung Formale Modelle für Informationssysteme, Tutzing, 1979, Informatik-Fachbericht 21, pp.236–245Google Scholar
  20. /Wil 78/.
    J.C. Wileden: Relationship between Graph Grammars and the Design and Analysis of Concurrent Software, in /CER 78/, pp.456–463Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Hans-Jörg Kreowski
    • 1
  1. 1.Fachbereich Informatik (20) Institut für Software und Theoretische InformatikTechnische Universität BerlinBerlin 10

Personalised recommendations