Several formal concurrent semantics have been proposed for graph rewriting, a powerful formalism for the specification of concurrent and distributed systems which generalizes P/T Petri nets. In this paper we relate two such semantics recently proposed for the algebraic double-pushout approach to graph rewriting, namely the derivation trace and the graph process semantics. The notion of concatenable graph process is introduced and then the category of concatenable derivation traces is shown to be isomorphic to the category of concatenable graph processes. As an outcome we obtain a quite intuitive characterization of events and configurations of the event structure associated to a graph grammar.
CITATION STYLE
Baldan, P., Corradini, A., & Montanari, U. (1998). Concatenable graph processes: Relating processes and derivation traces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1443 LNCS, pp. 283–295). Springer Verlag. https://doi.org/10.1007/bfb0055061
Mendeley helps you to discover research relevant for your work.