This paper presents a deadlock prevention policy to obtain behaviorally optimal supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions. The conditions of uncontrollability and unobservability of transitions are revealed in the sense of the implementation of a Petri net supervisor. Then, integer linear programming models are designed to obtain a Petri net supervisor such that all legal markings are reachable and the number of control places is reduced. We also show that a controllable transition can be unobservable and self-loops can be used to disable the transition but do not observe its firing. Finally, examples are provided to illustrate the proposed approach.
%0 Journal Article
%1 ChenBarkaoui13
%A Chen, YuFeng
%A Barkaoui, Kamel
%D 2014
%J Asian J Control
%K citas, citeulike deadlock, fms, referencias, supervisor
%N 6
%P 1646--1658
%R 10.1002/asjc.811
%T Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions
%U http://dx.doi.org/10.1002/asjc.811
%V 16
%X This paper presents a deadlock prevention policy to obtain behaviorally optimal supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions. The conditions of uncontrollability and unobservability of transitions are revealed in the sense of the implementation of a Petri net supervisor. Then, integer linear programming models are designed to obtain a Petri net supervisor such that all legal markings are reachable and the number of control places is reduced. We also show that a controllable transition can be unobservable and self-loops can be used to disable the transition but do not observe its firing. Finally, examples are provided to illustrate the proposed approach.
@article{ChenBarkaoui13,
abstract = {{This paper presents a deadlock prevention policy to obtain behaviorally optimal supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions. The conditions of uncontrollability and unobservability of transitions are revealed in the sense of the implementation of a Petri net supervisor. Then, integer linear programming models are designed to obtain a Petri net supervisor such that all legal markings are reachable and the number of control places is reduced. We also show that a controllable transition can be unobservable and self-loops can be used to disable the transition but do not observe its firing. Finally, examples are provided to illustrate the proposed approach.}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Chen, YuFeng and Barkaoui, Kamel},
biburl = {https://www.bibsonomy.org/bibtex/2da74fdc36c9489343070e26dec9eeab4/fernand0},
citeulike-article-id = {12820708},
citeulike-linkout-0 = {http://dx.doi.org/10.1002/asjc.811},
day = 1,
doi = {10.1002/asjc.811},
interhash = {ea7e07f6f0b0c77599784561d4ee1669},
intrahash = {da74fdc36c9489343070e26dec9eeab4},
journal = {Asian J Control},
keywords = {citas, citeulike deadlock, fms, referencias, supervisor},
month = nov,
number = 6,
pages = {1646--1658},
posted-at = {2013-12-05 18:36:09},
priority = {2},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions}},
url = {http://dx.doi.org/10.1002/asjc.811},
volume = 16,
year = 2014
}