For the most recent entries see the Petri Nets Newsletter.

The Effects of the Maximum Firing Rule on Number of States in Reachability Analysis of Petri Nets.

Gang, S.L.; Chi, S.W.

In: J. Korea Inf. Sci. Soc. (South Korea), Vol. 15, No. 2, pages 133-40. 1988. In Korean.

Abstract: The authors study the effects of the maximum firing rule on the number of states in reachability tree analysis of Petri nets. By an empirical study of 75 randomly selected practical Petri nets, the authors got some correlation coefficients among 15 selected metrics of Petri nets structure and two reachability trees. When they adapted the maximum firing rule, they reduced the number of states in large without losing the analyzing power of the existing reachability tree method.

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

Back to the Petri Nets Bibliography