Name
Abstract | ||
|---|---|---|
This paper deals with two partial order techniques for Petri nets (PN in short): persistent sets and step graphs. These techniques aim to reduce the width and the depth of the marking graphs of PN, respectively, while preserving their deadlocks. To achieve more reductions while preserving the deadlocks of PN, this paper revisits the definition of persistent sets and establishes some weaker practical sufficient conditions. It also proposes a combination of persistent sets with steps as a sort of Cartesian product of persistent sets. This combination provides a means of better controlling the length and the number of steps, while still preserving deadlocks. |
Year | DOI | Venue |
|---|---|---|
2020 | 10.1007/s11334-020-00358-3 | Innovations in Systems and Software Engineering |
Keywords | Field | DocType |
Petri nets, Reachability analysis, State explosion problem, Persistent sets, Partial order techniques, Step graphs | Graph,Petri net,Systems engineering,Computer science,Cartesian product,Deadlock,sort,Theoretical computer science,Computer Applications,State space generation | Journal |
Volume | Issue | ISSN |
16 | 2 | 1614-5046 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kamel Barkaoui | 1 | 536 | 76.60 |
| H. Boucheneb | 2 | 17 | 3.46 |
| ZhiWu Li | 3 | 176 | 20.53 |