Paper Info
Title
Handles and Reachability Analysis of Free Choice Nets
Abstract
In this paper, we discuss on the reachability analysis of free choice nets based on structure theory associated to handles. First half of the paper is devoted to clarify the relationship between handles and deadlocks/traps from the aspect emphasized on the reachability analysis. In the second half of the paper, the reachability criteria for free choice nets is discussed based on the structure theory. The reachability condition is expressed in terms of token distribution at the initial or end marking in an appropriately reduced net associated token-free deadlocks or traps. On reachability points of view, classes of Petri nets discussed in the paper involve several important classes of Petri nets as its special cases. The result is extended to extended free choice nets.
Year
DOI
Venue
1995
10.1007/3-540-60029-9_46
Application and Theory of Petri Nets
Keywords
Field
DocType
reachability analysis,free choice nets,petri net
Discrete mathematics,Petri net,Computer science,Deadlock,Structure (category theory),Stochastic Petri net,Reachability,Security token,Distributed computing
Conference
Volume
ISSN
ISBN
935
0302-9743
3-540-60029-9
Citations 
PageRank 
References 
8
1.10
5
Authors
3
Name
Order
Citations
PageRank
Dongik Lee17714.46
Sadatoshi Kumagai26613.60
Shinzo Kodama3112.72