A Survey of Petri Nets Slicing

Abstract

Petri nets slicing is a technique that aims to improve the verification of systems modeled in Petri nets. Petri nets slicing was first developed to facilitate debugging, but then was used for the alleviation of the state space explosion problem for the model checking of Petri nets. In this article, different slicing techniques are studied along with their algorithms introducing: (i) a classification of Petri nets slicing algorithms based on their construction methodology and objective (such as improving state space analysis or testing); (ii) a qualitative and quantitative discussion and comparison of major differences such as accuracy and efficiency: (iii) a syntactic unification of slicing algorithms that improve state space analysis for easy and clear understanding; and (iv) applications of slicing for multiple perspectives. Furthermore, some recent improvements to slicing algorithms are presented, which can certainly reduce the slice size even for strongly connected nets. A noteworthy use of this survey is for the selection and improvement of slicing techniques for optimizing the verification of state event models.

Analysis of the Correctness of the Model of Biomedical Experiment Based on the Transition Graph by Means of a Matrix Algebra

“…Such a language seems to be divided into two levels of syntax: a graphic description of the interaction (description of the experiment) and pseudo-code describing specific messages sent to the language interpretation mechanism. For describing the interaction of devices, the marked Petri net [1,2,7,8,9] is well suited, and for describing messages transmitted to the performer (device, computer, etc., depending on the command), it is advisable to use a high-level programming language. The results of comparision is shown at Table 1.…”

Maximal and minimal dynamic Petri net slicing

“…Therefore, they are included in some notions of Petri net slicing. The most extended algorithms were reviewed in [4,5], showing that sometimes they are complementary, and for some applications, different algorithms can be used. In this work, we present two Petri net slicing algorithms that complement the state of the art.…”