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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lee, DI., Kumagai, S., Kodama, S. (1995). Handles and reachability analysis of free choice nets. In: De Michelis, G., Diaz, M. (eds) Application and Theory of Petri Nets 1995. ICATPN 1995. Lecture Notes in Computer Science, vol 935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60029-9_46
Download citation
DOI: https://doi.org/10.1007/3-540-60029-9_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60029-9
Online ISBN: 978-3-540-49408-9
eBook Packages: Springer Book Archive