Analysis of Petri net models using transitive matrix
Yu-Jin Song, Jong-Kun Lee · 2002
We focus on the analysis of Petri net models using a subnet. We propose a divide and conquer method of Petri nets under the condition of one-boundedness for all the Petri nets. The usefulness of the approach is shown by applying the proposed techniques to an illustration model.