Unfolding of double-pushout graph grammars is a coreflection

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

Volumn 1764, Issue , 2000, Pages 145-163

  Baldan, Paolo ^a   Corradini, Andrea ^a   Montanari, Ugo ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE GRAMMARS; PETRI NETS; SEMANTICS;

BRANCHING STRUCTURES; CONCURRENT SEMANTICS; DOUBLE PUSHOUT; GRAPH GRAMMAR; OCCURRENCE GRAPH; WEIGHTED GRAPH;

FORMAL LANGUAGES;

EID: 84949934474     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-46464-8_11     Document Type: Conference Paper

References (18)

1. P. Baldan, A. Corradini, and U. Montanari. Concatenable graph processes: relating processes and derivation traces. In Proceedings of ICALP’98, volume 1443 of LNCS, pages 283–295. Springer Verlag, 1998
2. P. Baldan, A. Corradini, and U. Montanari. An event structure semantics for P/T contextual nets: Asymmetric event structures. In M. Nivat, editor, Proceedings of FoSSaCS ’98, volume 1378, pages 63–80. Springer Verlag, 1998
3. P. Baldan, A. Corradini, and U. Montanari. Unfolding and Event Structure Semantics for Graph Grammars. In W. Thomas, editor, Proceedings of FoSSaCS ’99, volume 1578, pages 73–89. Springer Verlag, 1999
4. R. Banach and A. Corradini. An Opfibration Account of Typed DPO and DPB Graph Transformation: General Productions. Technical Report UMCS-96-11-2, University of Manchester, Department of Computer Science, 1996
5. A. Corradini. Concurrent Graph and Term Graph Rewriting. In U. Montanari and V. Sassone, editors, Proceedings CONCUR’96, volume 1119 of LNCS, pages 438–464. Springer Verlag, 1996
6. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and J. Padberg. The category of Typed Graph Grammars and its adjunctions with categories of derivations. In J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Proceedings of the 5th International Workshop on Graph Grammars and their Application to Computer Science, volume 1073 of LNCS. Springer Verlag, 1996
7. A. Corradini, H. Ehrig, M. Löwe, U. Montanari, and F. Rossi. An Event Structure Semantics for Graph Grammars with Parallel Productions. In J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors, Proceedings of the 5th International Workshop on Graph Grammars and their Application to Computer Science, volume 1073 of LNCS. Springer Verlag, 1996
8. A. Corradini, U. Montanari, and F. Rossi. Graph processes. Fundamenta Informaticae, 26:241–265, 1996
9. A. Corradini, U. Montanari, F. Rossi, H. Ehrig, R. Heckel, and M. Löwe. Algebraic Approaches to Graph Transformation I: Basic Concepts and Double Pushout Approach. In G. Rozenberg, editor, Handbook of Graph Grammars and Computing by Graph Transformation. Volume 1: Foundations. World Scientific, 1997
10. H. Ehrig. Tutorial introduction to the algebraic approach of graph-grammars. In H. Ehrig, M. Nagl, G. Rozenberg, and A. Rosenfeld, editors, Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science, volume 291 of LNCS, pages 3–14. Springer Verlag, 1987
11. U. Golz and W. Reisig. The non-sequential behaviour of Petri nets. Information and Control, 57:125–147, 1983
12. R. Heckel, A. Corradini, H. Ehrig, and M. Löwe. Horizontal and Vertical Structuring of Graph Transformation Systems. Mathematical Structures in Computer Science, 6(6):613–648, 1996
13. R. Langerak. Transformation and Semantics for LOTOS. PhD thesis, Department of Computer Science, University of Twente, 1992
14. J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Petri nets. In Proceedings CONCUR ’92, volume 630 of LNCS, pages 286–301. Springer Verlag, 1992
15. J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Place/Transition Petri nets. Mathematical Structures in Computer Science, 7:359–397, 1997
16. G. M. Pinna and A. Poigné. On the nature of events: another perspective in concurrency. Theoretical Computer Science, 138:425–454, 1995
17. L. Ribeiro. Parallel Composition and Unfolding Semantics of Graph Grammars. PhD thesis, Technische Universit¨at Berlin, 1996
18. G. Winskel. Event Structures. In Petri Nets: Applications and Relationships to Other Models of Concurrency, volume 255 of LNCS, pages 325–392. Springer Verlag, 1987