Processes and Local Actions
Dirk Janssens · Electronic Notes in Theoretical Computer Science · 2002
Local Action Systems are intended as a unifying framework for a number of types of graph rewriting based on embedding. In the first part of the paper a theory of true concurrent processes for embedding-based graph rewriting is developed, and its possible application to Petri nets is briefly discussed. In the second part different variants of Local Action Systems are discussed, and it is shown how they fit in the framework developed in the first part.