Rechercher

[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, 2011

Mots 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: vespa

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",
}