|
A. Maggiolo-Schettini, J. Winkowski
Partial order representation
of processes of transforming graphs
827
Abstract
A model of processes of transforming graphs is proposed
in which concurrency and branching can be represented.
Operations on structures representing processes of transforming
graphs are defined that allow one to construct such structures
from simple components and to characterize sets of processes of
transforming graphs, including sets generated by graph grammars.
Key words: graph, occurrence structure, dynamic graph, application
of dynamic graph to a graph, sequential composition of dynamic graphs,
indeterministic sum of dynamic graphs, production, derivation, graph grammar.
|
|
 |
 |
