Graph rewriting has been used extensively to model the behaviour of concurrent systems and to provide a formal semantics for them. In this paper, we investigate processes for Local Action Systems (LAS); LAS generalize several types of graph rewriting based on node replacement and embedding. An important difference between processes for Local Action Systems and the process notions that have been introduced for other systems, for example, Petri nets, is the presence of a component describing the embedding mechanism. The aim of the paper is to develop a methodology for dealing with this embedding mechanism: we introduce a suitable representation (a dynamic structure) for it, and then investigate the algebraic properties of this representation. This leads to a simple characterization of the configurations of a process and to a number of equational laws for dynamic structures. We illustrate the use of these laws by providing an equational proof of one of the basic results for LAS processes, namely that the construction yielding the result graph of a process behaves well with respect to the sequential composition of processes.
[1]
Wolfgang Reisig,et al.
The Non-sequential Behavior of Petri Nets
,
1983,
Inf. Control..
[2]
Michel Billaud,et al.
Graph Rewriting Systems with Priorities
,
1989,
WG.
[3]
Vladimiro Sassone,et al.
On the Algebraic Structure of Petri Nets
,
2000,
Bull. EATCS.
[4]
Ugo Montanari,et al.
Concatenable Graph Processes: Relating Processes and Derivation Traces
,
1998,
ICALP.
[5]
Vaughan R. Pratt,et al.
Modeling concurrency with partial orders
,
1986,
International Journal of Parallel Programming.
[6]
Andrea Corradini,et al.
Concurrent Graph and Term Graph Rewriting
,
1996,
CONCUR.
[7]
Glynn Winskel,et al.
Events in computation
,
1980
.
[8]
Tom Mens,et al.
Abstract Semantics for ESM Systems
,
1996,
Fundam. Informaticae.
[9]
Francesca Rossi,et al.
Graph Processes
,
1996,
Fundam. Informaticae.