A Survey of Petri Nets Slicing

Yasir Imtiaz Khan, Alexandros Konios, Nicolas Guelfi
2018 ACM Computing Surveys  
Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Different Petri nets slicing constructions are studied along with the algorithms to compute them. Petri nets slicing was first developed to facilitate debugging but then developed for alleviating the state space explosion problem for model checking Petri nets. This article has twofold objectives, the first is to unify all the existing slicing algorithms syntactically by the definition of a
more » ... tandard abstract syntax and rewriting of the studied slicing algorithms. The second is to discuss the contribution of each slicing construction and to compare the major differences between them. One of the interesting exploitation of the survey is for the selection and improvement of slicing techniques for approaches concerned by optimizing verification of state event models.
doi:10.1145/3241736 fatcat:mydxlv4rjbaf3kbilv5vgfvd7e