Supervisory control is usually considered as an external control mechanism to a system by controlling the occurrences of its controllable events. There exist Petri net models whose legal reachability spaces are nonconvex. In this case, they cannot be optimally controlled by the conjunctions of linear constraints. For Petri net models of flexible manufacturing systems, this work proposes a method to classify the legal markings into several subsets. Each subset is associated with a linear constraint that can forbid all first-met bad markings. Then, the disjunctions of the obtained constraints can make all legal markings reachable and forbid all first-met bad markings, i.e., the controlled net is live and maximally permissive. An integer linear programming model is formulated to minimize the number of the constraints. A supervisory structure is also proposed to implement the disjunctions of the constraints. Finally, examples are provided to illustrate the proposed method.
%0 Journal Article
%1 ChenLiZhou14
%A Chen, YuFeng
%A Li, ZhiWu
%A Zhou, MengChu
%D 2014
%I IEEE
%J Automation Science and Engineering, IEEE Transactions on
%K citas, citeulike control, deadlock, nets, petri, referencias, supervisory
%N 2
%P 549--563
%R 10.1109/tase.2013.2241762
%T Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach
%U http://dx.doi.org/10.1109/tase.2013.2241762
%V 11
%X Supervisory control is usually considered as an external control mechanism to a system by controlling the occurrences of its controllable events. There exist Petri net models whose legal reachability spaces are nonconvex. In this case, they cannot be optimally controlled by the conjunctions of linear constraints. For Petri net models of flexible manufacturing systems, this work proposes a method to classify the legal markings into several subsets. Each subset is associated with a linear constraint that can forbid all first-met bad markings. Then, the disjunctions of the obtained constraints can make all legal markings reachable and forbid all first-met bad markings, i.e., the controlled net is live and maximally permissive. An integer linear programming model is formulated to minimize the number of the constraints. A supervisory structure is also proposed to implement the disjunctions of the constraints. Finally, examples are provided to illustrate the proposed method.
@article{ChenLiZhou14,
abstract = {{Supervisory control is usually considered as an external control mechanism to a system by controlling the occurrences of its controllable events. There exist Petri net models whose legal reachability spaces are nonconvex. In this case, they cannot be optimally controlled by the conjunctions of linear constraints. For Petri net models of flexible manufacturing systems, this work proposes a method to classify the legal markings into several subsets. Each subset is associated with a linear constraint that can forbid all first-met bad markings. Then, the disjunctions of the obtained constraints can make all legal markings reachable and forbid all first-met bad markings, i.e., the controlled net is live and maximally permissive. An integer linear programming model is formulated to minimize the number of the constraints. A supervisory structure is also proposed to implement the disjunctions of the constraints. Finally, examples are provided to illustrate the proposed method.}},
added-at = {2017-09-08T10:52:59.000+0200},
author = {Chen, YuFeng and Li, ZhiWu and Zhou, MengChu},
biburl = {https://www.bibsonomy.org/bibtex/29d895d1237a895472a19d2d35be98941/fernand0},
citeulike-article-id = {12215413},
citeulike-linkout-0 = {http://dx.doi.org/10.1109/tase.2013.2241762},
citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6472740},
doi = {10.1109/tase.2013.2241762},
institution = {Sch. of Electro-Mech. Eng., Xidian Univ., Xi'an, China},
interhash = {c85163e2637a3ef7477b25e7bed8db62},
intrahash = {9d895d1237a895472a19d2d35be98941},
issn = {1545-5955},
journal = {Automation Science and Engineering, IEEE Transactions on},
keywords = {citas, citeulike control, deadlock, nets, petri, referencias, supervisory},
month = apr,
number = 2,
pages = {549--563},
posted-at = {2013-03-27 08:52:38},
priority = {2},
publisher = {IEEE},
timestamp = {2017-09-08T10:53:23.000+0200},
title = {{Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach}},
url = {http://dx.doi.org/10.1109/tase.2013.2241762},
volume = 11,
year = 2014
}