TY - JOUR
T1 - A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
AU - Liu, Ding
AU - Li, Zhiwu
AU - Zhou, Mengchu
N1 - Funding Information:
He is a member of Discrete Event Systems Technical Committee of the IEEE Systems, Man, and Cybernetics Society, and a member of IFAC Technical Committee on Discrete Event and Hybrid Systems (2011–2014). He serves as a frequent reviewer for 30+ international journals including Automatica and a number of the IEEE Transactions as well as many international conferences. He is listed in Marquis Who’s Who in the world, 27th Edition, 2010. Dr. Li is a recipient of an Alexander von Humboldt Research Grant, Alexander von Humboldt Foundation, Germany. He is a senior member of IEEE and is the founding chair of Xi’an Chapter of IEEE Systems, Man, and Cybernetics Society.
Funding Information:
This work was supported in part by the National Natural Science Foundation of China under Grant Nos. 61074035 and 61034004 , the National Basic Research Program of China (973 Program) under Grant No. 2011CB302804 , and the Fundamental Research Funds for the Central Universities under Grant No. JY10000904001 and K5051304007 . The material in this paper was not presented at any conference. This paper was recommended for publication in revised form by Associate Editor Bart De Schutter under the direction of Editor Ian R. Petersen.
PY - 2013/11
Y1 - 2013/11
N2 - The work proposes a synthesis method of supervisors for flexible manufacturing systems modeled by a class of generalized Petri nets. A concept of resource usage ratios (RU-ratios) is first presented to describe the occupation degree of a resource by an operation. Next, an intrinsically live structure characterized by a special numerical relationship between arc-weights and initial markings is investigated from a perspective of RU-ratios. Then, a new kind of supervisors is synthesized on the ground of the generic nature of the intrinsically live structure. Such a supervisor can achieve the purposes of both liveness-enforcement and resource usage ratio-enforcement of the system under consideration. Given a plant, it is easy to determine the topological structure of such a supervisor and the number of monitors is bounded by that of resources used in the plant. In addition, when the configuration of the plant model changes, the supervisor can be reusable through adjusting control parameters only without rearrangement of connections. This makes it easy enough and intuitive to be used by industrial practitioners. Instead of maximal behavioral permissiveness, it pursues a precise usage of shared resources that are limited and valuable. Several examples are used to illustrate the proposed methods.
AB - The work proposes a synthesis method of supervisors for flexible manufacturing systems modeled by a class of generalized Petri nets. A concept of resource usage ratios (RU-ratios) is first presented to describe the occupation degree of a resource by an operation. Next, an intrinsically live structure characterized by a special numerical relationship between arc-weights and initial markings is investigated from a perspective of RU-ratios. Then, a new kind of supervisors is synthesized on the ground of the generic nature of the intrinsically live structure. Such a supervisor can achieve the purposes of both liveness-enforcement and resource usage ratio-enforcement of the system under consideration. Given a plant, it is easy to determine the topological structure of such a supervisor and the number of monitors is bounded by that of resources used in the plant. In addition, when the configuration of the plant model changes, the supervisor can be reusable through adjusting control parameters only without rearrangement of connections. This makes it easy enough and intuitive to be used by industrial practitioners. Instead of maximal behavioral permissiveness, it pursues a precise usage of shared resources that are limited and valuable. Several examples are used to illustrate the proposed methods.
KW - Flexible manufacturing system
KW - Liveness-enforcing supervisor
KW - Monitor
KW - Petri net
KW - Ratio-enforcing supervisor
UR - http://www.scopus.com/inward/record.url?scp=84885620005&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84885620005&partnerID=8YFLogxK
U2 - 10.1016/j.automatica.2013.07.023
DO - 10.1016/j.automatica.2013.07.023
M3 - Article
AN - SCOPUS:84885620005
SN - 0005-1098
VL - 49
SP - 3167
EP - 3179
JO - Automatica
JF - Automatica
IS - 11
ER -