Avoiding state explosion in a class of Petri nets

作者：

Highlights：

• 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.

摘要

•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,State explosion problem,Reachability,Superposition

论文评审过程：Available online 13 August 2014.

论文官网地址：https://doi.org/10.1016/j.eswa.2014.07.037