Paper Info
Title
Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding
Abstract
The starting point of this paper is McMillan's complete finite prefix 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 infinite) system behaviour from the complete finite prefix. An algorithm is presented to derive from the prefix a graph rewriting system that can be used to construct the unfolding. It is shown how to generate event sequences from the graph rewriting system which is important for constructing an interactive simulator. Finally it is indicated how the graph rewriting system yields a transition system that can be used for model checking and test derivation.
Year
DOI
Venue
1999
10.1016/S1571-0661(05)80293-2
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
petri net,process algebra,model checking,graph rewriting
Graph algebra,Transition system,Discrete mathematics,Computer science,Prefix,Theoretical computer science,Null graph,Graph rewriting,Confluence,Prefix grammar,Voltage graph
Journal
Volume
ISSN
Citations 
27
Electronic Notes in Theoretical Computer Science
0
PageRank 
References 
Authors
0.34
17
1
Name
Order
Citations
PageRank
Rom Langerak130839.16