TY - JOUR
T1 - Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets
AU - Hu, Hesuan
AU - Zhou, Mengchu
AU - Li, Zhiwu
N1 - Funding Information:
Manuscript received October 20, 2010; accepted January 12, 2011. Date of publication September 26, 2011; date of current version February 17, 2012. This work was supported in part by the National Natural Science Foundation of China under Grant 60773001 and Grant 61034004, by the Fundamental Research Funds for the Central Universities, by the National Research Foundation for the Doctoral Program of Higher Education, by the Ministry of Education of China under Grant 20090203110009, and by the Alexander von Humboldt Foundation. This paper was recommended by Associate Editor W. Pedrycz.
PY - 2012/3
Y1 - 2012/3
N2 - In automated manufacturing systems (AMSs), Petri nets are widely adopted to solve supervisory control problems. Among them, how to enforce liveness and fairness for AMS constitutes an important problem. Enforcing liveness avoids the occurrence of deadlock situations to inhibit the emergence of partial or complete blockness for processing jobs in AMS. Fairness requires the determination of a reasonable regulation scheme for orderly resolution such that a desired ratio can be assigned among different processes. This paper proposes an efficient method to design supervisors that enforce both, which is based on the invariance property of Petri nets. A novel approach is proposed to iteratively identify empty siphons as solutions to a set of linear inequalities. Supervisors are then designed to control these siphons. The applicability of the proposed methodology is illustrated through examples. Its comparison with existing works is presented to demonstrate its advantages.
AB - In automated manufacturing systems (AMSs), Petri nets are widely adopted to solve supervisory control problems. Among them, how to enforce liveness and fairness for AMS constitutes an important problem. Enforcing liveness avoids the occurrence of deadlock situations to inhibit the emergence of partial or complete blockness for processing jobs in AMS. Fairness requires the determination of a reasonable regulation scheme for orderly resolution such that a desired ratio can be assigned among different processes. This paper proposes an efficient method to design supervisors that enforce both, which is based on the invariance property of Petri nets. A novel approach is proposed to iteratively identify empty siphons as solutions to a set of linear inequalities. Supervisors are then designed to control these siphons. The applicability of the proposed methodology is illustrated through examples. Its comparison with existing works is presented to demonstrate its advantages.
KW - Automated manufacturing system (AMS)
KW - Petri nets
KW - discrete event systems
KW - mathematical programming
UR - http://www.scopus.com/inward/record.url?scp=84857506729&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84857506729&partnerID=8YFLogxK
U2 - 10.1109/TSMCA.2011.2162502
DO - 10.1109/TSMCA.2011.2162502
M3 - Article
AN - SCOPUS:84857506729
SN - 1083-4427
VL - 42
SP - 392
EP - 403
JO - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
JF - IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
IS - 2
M1 - 6029339
ER -