The paper formalizes the concept of the unfolding for unbounded hybrid Petri nets and introduces the algorithm for its computing. The unfolding is a useful partial-order based method for analysis and verification of the Petri net properties. This technique can cope well with the so-called state space explosion problem, especially for the Petri nets with a lot of concurrency.
展开▼