2018
DOI: 10.1145/3241736
|View full text |Cite
|
Sign up to set email alerts
|

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 … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2019
2019
2025
2025

Publication Types

Select...
3
2
2

Relationship

0
7

Authors

Journals

citations
Cited by 8 publications
(2 citation statements)
references
References 31 publications
0
2
0
Order By: Relevance
“…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.…”
Section: The Matrix Algorithmmentioning
confidence: 99%
“…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.…”
Section: The Matrix Algorithmmentioning
confidence: 99%
“…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.…”
Section: Introductionmentioning
confidence: 99%