|
 
|
[ZLB11] Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View
Revue Internationale avec comité de lecture : Journal International Journal of Innovative Computing, Information and Control (ICIC - ISSN 1349-4198), vol. 7(12), pp. 6677-6690, 2011Mots clés: Petri nest, Flexible manufacturing systems, Deadlock prevention, Siphon
Résumé:
Petri nets are widely used to design a liveness-enforcing Petri net super-
visor for deadlock prevention in a
exible manufacturing system. A monitor-based su-
pervisor performs better, i.e., with more permissive behavior, if its monitors are well
designed. Deadlock control policies developed by max-controlled siphons are shown to be
overly conservative from permissive behavior points of view. On the basis of the concept
of max'-controlled siphons, this paper provides three methods, from structural points of
view, to design monitors for siphons in S4R nets, systems of simple sequential processes
with shared resources. A deadlock prevention policy is developed accordingly, leading to
liveness-enforcing Petri net supervisors with more permissive behavior. The proposed
approaches and algorithm are then illustrated through an example.
Equipe:
sys
BibTeX
| @article { | |||
| ZLB11, | |||
| title | = | "{Monitor Design for Siphon Control in S4R Nets: From Structure Analysis Points of View }", | |
| author | = | "C. Zhong and Z. Li and K. Barkaoui", | |
| journal | = | "International Journal of Innovative Computing, Information and Control (ICIC - ISSN 1349-4198)", | |
| year | = | 2011, | |
| volume | = | 7, | |
| number | = | 12, | |
| pages | = | "6677-6690", | |
| } | |||
