|
 
|
[BL14] An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets
Autres :
datepub:
June 2014,
Mots clés: Siphon-Based Deadlock Prevention ; S4PR
Résumé:
In this technical report, an elementary siphon-based deadlock prevention method is proposed for an important class of resource allocation systems (RASs) that appear in the modeling of flexible manufacturing systems (FMSs). The model of this class in terms of generalized Petri nets is namely S4PR that can deal with the modeling of concurrently cyclic sequential processes sharing common resources, where deadlocks are caused by the insufficiently marked siphons in their Petri net models. On the basis of recent structural analysis results related to the elementary siphons in generalized Petri nets on the one hand and an efficient deadlock avoidance policy proposed for the class of conjunctive/disjunctive (C/D) RASs on the other hand, we show how one can generate monitors to be added to a net system such that all its strict minimal siphons are max’-controlled and no insufficiently marked siphon is generated. Thereby, a new, simple and more permissive liveness-enforcing supervisor synthesis method for S4PR is established.
Commentaires:
internal Techincal report
BibTeX
| @misc { | |||
| BL14, | |||
| title | = | "{An Efficient Siphon-Based Deadlock Prevention Policy for a Class of Generalized Petri Nets}", | |
| author | = | "K. Barkaoui and D. Liu", | |
| year | = | 2014, | |
| note | = | "{internal Techincal report }", | |
| } | |||
