Name
Title | ||
|---|---|---|
Efficient deadlock prevention in Petri nets through the generation of selected siphons |
Abstract | ||
|---|---|---|
Siphon-based control methods are often employed for deadlock prevention in Petri net models of flexible manufacturing systems. Such methods generally require siphon enumeration, which is a computationally intensive task, whose complexity grows with the Petri net size. However, only a small fraction of minimal siphons needs to be controlled to prevent all deadlocks. This paper introduces an algorithm to compute the required siphons, based on a set covering approach that optimally matches emptiable siphons to critical markings. This greatly reduces the computational load of the deadlock prevention algorithm with respect to alternative methods with comparable performance in terms of permissivity. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/ACC.2009.5159861 | ACC'09 Proceedings of the 2009 conference on American Control Conference |
Keywords | DocType | ISSN |
computational load,deadlock prevention,emptiable siphon,critical marking,petri net,computationally intensive task,deadlock prevention algorithm,flexible manufacturing system,comparable performance,alternative method,efficient deadlock prevention,selected siphon,siphon-based control method,control systems,petri nets,redundancy,data mining,automata,algorithm design and analysis,probability density function,set cover | Conference | 0743-1619 |
Citations | PageRank | References |
1 | 0.37 | 11 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Luigi Piroddi | 1 | 311 | 25.04 |
| Roberto Cordone | 2 | 310 | 28.87 |
| Ivano Fumagalli | 3 | 62 | 1.78 |