In: Proceedings of the second IEEE International Conference on Systems, Man and Cybernetics (SMC'02), October 6-9, 2002, Hammamet, Tunisia, Volume 3. IEEE Computer Society Press, October 2002.
Abstract: In this paper, we propose a decomposition method of Petri net using the transitive matrix based on P-invariant. In the Petri nets, a control flow is done based on the token flows. Accordingly, we define that the basic unit of concurrency (short BUC) is a set of the executed control flows based on the behavioral properties in the net. We propose an algorithm to divide an original system into some BUCs for analyze it in resource-shared system. Also, we show a usefulness of transitive matrix to decompose an initial net into some subnets, and explain in an example.