Petri nets: an introduction
Concurrent histories: a basis for observing distributed systems
Journal of Computer and System Sciences
Concurrent constraint programming
Concurrent constraint programming
Graph Grammars and Their Application to Computer Science: 4th International Workshop, Bremen, Germany, March 5-9, 1990 Proceedings
Graph-Grammars and Their Application to Computer Science
Graph-Grammars and Their Application to Computer Science
Proceedings of the International Workshop on Graph Transformations in Computer Science
Proceedings of the International Workshop on Graph Transformations in Computer Science
An Event Structure Semantics for Safe Graph Grammars
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Abstract Graph Derivations in the Double Pushout Approach
Proceedings of the International Workshop on Graph Transformations in Computer Science
Is parallelism already concurrency? Part 1: Derivations in graph grammars
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
Tutorial introduction to the algebraic approach of graph grammars
Proceedings of the 3rd International Workshop on Graph-Grammars and Their Application to Computer Science
Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Double-pushout hypergraph rewriting using total conformisms
Fundamenta Informaticae
A Partial Order Representation of Processes of Transforming Graphs
Fundamenta Informaticae
Hi-index | 0.00 |
We first give a new definition of graph grammars, which, although following the algebraic double-pushout approach, is more general than the classical one because of the use of a graph of types where all involved graphs are mapped to. Then, we develop a process-based semantics for such (typed) graph grammars, in the line of processes as normally used for providing a semantics to Petri nets. More precisely, we represent each equivalence class of derivations as a graph process, which can be seen as an acyclic graph grammar, plus a mapping of its items onto the items of the given grammar. Finally, we show that such processes represent exactly the equivalence classes of derivations up to the well-known shift-equivalence, which have always been used in the literature on graph grammars. Therefore graph processes are attractive alternative representatives for such classes. The advantage of dealing with graph processes instead of equivalence classes (or also representatives belonging to the equivalence classes) is that dependency and/or concurrency of derivation steps is explicitly represented.