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.