A new method for the redundancy analysis of Petri net-based liveness enforcing supervisors

被引：3
作者：
Gelen, Gokhan [1 ]
Uzam, Murat [2 ]
Li, ZhiWu [3 ,4 ]
机构：
[1] Bursa Tech Univ, Dept Mechatron Engn, Bursa, Turkey
[2] Meliksah Univ, Dept Elect & Elect Engn, Kayseri, Turkey
[3] Macau Univ Sci & Technol, Inst Syst Engn, Taipa, Macao, Peoples R China
[4] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
来源：
TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL | 2017年 / 39卷 / 05期
基金：
中国国家自然科学基金;
关键词：
Deadlock; flexible manufacturing systems (FMSs); liveness enforcing supervisor (LES); Petri nets (PN); redundancy test; supervisory control theory (SCT); FLEXIBLE MANUFACTURING SYSTEMS; DEADLOCK PREVENTION POLICY; ELEMENTARY SIPHONS; DEPENDENT SIPHONS; AVOIDANCE; CONTROLLERS; DESIGN;
D O I：
10.1177/0142331215620005
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
The deadlock control of flexible manufacturing systems (FMSs) has been widely studied in the literature. Petri nets (PNs) are extensively used as a tool for modelling, analysis and controller synthesis of such systems. In general, Petri-net-based liveness enforcing supervisors (LESs) include control places (CPs) together with their input/output arcs. It is well known that the methods proposed for computing CPs may provide redundant and necessary CPs. In this paper, a new method is proposed for redundancy test of CPs by means of supervisory control theory (SCT). The proposed method is based on the idea that after the removal of a CP from an LES, if the controlled model is still live, then the removed CP is redundant. The proposed method makes use of the TCT implementation tool of SCT. It is applicable to a PN-based LES consisting of a set of CPs. The applicability of proposed method is demonstrated by means of examples from the relevant literature. For some examples, the redundancy test provides more permissive behaviour with structurally simpler supervisors.
引用
收藏
页码：763 / 780
页数：18
相关论文
共 57 条
  • [1] Barkaoui K., 1996, Application and Theory of Petri Nets 1996. 17th International Conference. Proceedings, P57
  • [2] Cassandras C. G., 2009, INTRO DISCRETE EVENT, DOI DOI 10.1007/978-3-030-72274-6
  • [3] Chen YF, 2015, IEEE T SYST IN PRESS
  • [4] New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs
    Chen, YuFeng
    Li, Zhiwu
    Barkaoui, Kamel
    Uzam, Murat
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (10): : 1384 - 1400
  • [5] Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach
    Chen, YuFeng
    Li, ZhiWu
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (02) : 549 - 563
  • [6] Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
    Chen, YuFeng
    Li, ZhiWu
    Barkaoui, Kamel
    [J]. INFORMATION SCIENCES, 2014, 256 : 74 - 90
  • [7] Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
    Chen, YuFeng
    Li, Zhiwu
    [J]. AUTOMATICA, 2011, 47 (05) : 1028 - 1034
  • [8] Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Chen, YuFeng
    Li, Zhiwu
    Khalgui, Mohamed
    Mosbahi, Olfa
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) : 374 - 393
  • [9] Coffman E. G., 1971, ACM COMPUT SURV, V3, P67, DOI DOI 10.1145/356586.356588
  • [10] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
    EZPELETA, J
    COLOM, JM
    MARTINEZ, J
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02): : 173 - 184
123456