In: Journal Korea Inf. Sci. Soc. (South Korea), Vol. 14, No. 2, pages 131-139. May 1987.
Abstract: A state classification method under maximum firing rule in concurrent systems modeled by Petri nets is presented. The classification method is based on the set of parallel actions and sequential actions.