Decomposition of Petri nets using the transitive matrix based on P-invariant

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.