Deriving a Graph Rewriting System from a
β
Rom Langerak
π
Article
π
1999
π
Elsevier Science
π
English
β 989 KB
The starting point of this paper is McMillan's complete nite pre x of an unfolding that has been obtained from a Petri net or a process algebra expression. The paper addresses the question of how to obtain the (possibly in nite) system behaviour from the complete nite pre x. An algorithm is presente