A comparison between Petri-nets and graph grammars

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 100 LNCS, Issue , 1981, Pages 306-317

  Kreowski, Hans Jörg ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; PETRI NETS; PHILOSOPHICAL ASPECTS;

DINING PHILOSOPHERS PROBLEM; GRAPH GRAMMAR;

GRAPH THEORY;

EID: 85023119151     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-10291-4_22     Document Type: Conference Paper

References (20)

1. 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 1980.
2. 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, 1979.
3. E.W. Dijkstra: Hierarchical Ordering of Sequential Processes, Acta Informatica 1, pp. 115–138 (1971).
4. H. Ehrig: Introduction to the Algebraic Theory of Graph Grammars (a Survey), in: /CER 78/, pp. 1–69.
5. 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).
6. H. Ehrig, H.-J. Kreowski: Parallelism of Manipulations in Multidemensional Information Structures, Proc. MFCS, Gdansk 1976, Lect. Not. Comp. Sci. 45, pp. 284–293 (1976).
7. H. Ehrig, H.-J. Kreowski: Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems, to appear in Information Systems.
8. 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, 1979.
9. H. Ehrig, B.K. Rosen: The Mathematics of Record Handling, Lect. Not. Comp. Sci. 52, pp. 206–220 (1977).
10. H. Ehrig, B.K. Rosen: Decomposition of Graph Grammar Productions and Derivations, in: /CER 78/, pp. 192–205.
11. H.-J. Kreowski: Manipulationen von Graphmanipulationen, Dissertation, FB 20 (Informatik), TU Berlin, 1977.
12. H.-J. Kreowski: Anwendungen der Algebraischen Theorie von Graph-Grammatiken auf Konsistenz und Synchronisation in Datenbanksystemen, Techn. Report 78-15, FB Informatik, TU Berlin, 1978.
13. K. Lautenbach: Liveness in Petri-Nets, Internal Report GMD 02.1/75-7-29, Bonn, 1975.
14. M. Nagl: Graph-Grammatiken: Theorie, Anwendungen, Implementierung, Wiesbaden, Vieweg Verlag, 1979.
15. H. Noltemeier: Graphentheoretische Modelle und Methoden, Proc. GI-Fachtagung Formale Modelle für Informationssysteme, Tutzing, 1979, Informatik-Fachbericht 21, pp. 170–180.
16. C.A. Petri: General Net Theory, Proc. Joint IBM Univ. Newcastle upon Tyne, Seminar, B.Shaw (ed.), 1976.
17. W. Reisig: A Grammar Representation of Nonsequential Processes, this volume.
18. B.K. Rosen: A Church-Rosser Theorem for Graph Grammars, SIGACT News 7, 3, pp. 26–31 (1975).
19. 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–245.
20. J.C. Wileden: Relationship between Graph Grammars and the Design and Analysis of Concurrent Software, in /CER 78/, pp.456–463.