For the most recent entries see the Petri Nets Newsletter.

Handles and Reachability Analysis of Free Choice Nets.

Lee, D.-I.; Kumagai, S.; Kodama, S.

In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., pages 298-315. 1995.

Abstract: In this paper, we discuss on the reachability analysis of the 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 point 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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography