Avoiding state explosion in a class of Petri nets
A novel tool, superposition chain, is proposed to avoid state explosion. This can be used in some classes of Petri nets. The future research direction is to incorporate the idea into the acyclic safe PNs. As the reachability problem of an acyclic safe PN is NP-complete, the effect would be immense. A long way has been passed in this direction.
petri nets superposition reachability state explosion problem