In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'2000), 8-11 October 2000, Nashville, TN, pages 3122-3127. 2000.
Abstract: This paper focuses on the analysis of Petri net models using the subnets. In particular, the paper proposes a divide-and-conquer method under the condition of one-boundedness for all Petri subnets. The usefulness of the approach is shown by applying the proposed technique to an example.
Keywords: Petri nets, transitive matrix.