Improvement on 'A merging method for the siphon-based flexible manufacturing systems maximally permissive controllers with simpler structures'

被引:5
|
作者
Chao, Daniel Yuh [1 ]
机构
[1] Natl Chengchi Univ, Dept Management & Informat Syst, Taipei 116, Taiwan
关键词
flexible manufacturing system; Petri net; deadlock; siphon; LIVENESS ENFORCING SUPERVISORS; DEADLOCK PREVENTION; ELEMENTARY SIPHONS; PETRI NETS; COMPUTATION;
D O I
10.1093/imamci/dnu034
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Recent maximally permissive deadlock prevention controls for systems of simple sequential processes with resources (S3PR) also aim at constructing simplest structures in the shortest amount of time for flexible manufacturing systems modelled by Petri nets. The paper in Liu et al. (2013, IMA J. Math. Control Inf., doi: 10.1093/imamci/dnt029) proposes a method to merge several monitors into a single one while not losing the live states. It achieves the same best results in the existing literature while avoiding the time-consuming reachability analysis which does not scale well with the large size of the nets. For a well-known benchmark, the method needs one more monitor than other approaches. Thus, siphon-based merging may not achieve minimal configuration. Although we could reduce one monitor, which monitor to choose to merge seem to be ad hoc. It is unclear how to select a monitor to reduce for large nets. This paper tackles such an issue successfully.
引用
收藏
页码:163 / 171
页数:9
相关论文
共 37 条
  • [21] ELEMENTARY-SIPHON-BASED CONTROL POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS WITH PARTIAL OBSERVABILITY AND CONTROLLABILITY OF TRANSITIONS
    Qin, Meng
    Li, Zhiwu
    Al-Ahmari, Abdulrahman M.
    ASIAN JOURNAL OF CONTROL, 2015, 17 (01) : 327 - 342
  • [22] Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems
    Zeng, Guoqiang
    Wu, Weimin
    Zhou, MengChu
    Mao, Weijie
    Su, Hongye
    Chu, Jian
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 193 - +
  • [23] Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
    Li, Shao Yong
    An, Ai Min
    Wang, Ying
    Wang, Gang
    Hou, Cai Qin
    Cai, Ying
    JOURNAL OF INTELLIGENT MANUFACTURING, 2013, 24 (06) : 1157 - 1173
  • [24] Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons
    Shao Yong Li
    Ai Min An
    Ying Wang
    Gang Wang
    Cai Qin Hou
    Ying Cai
    Journal of Intelligent Manufacturing, 2013, 24 : 1157 - 1173
  • [25] Optimal enforcement of liveness to flexible manufacturing systems modeled with Petri nets via transition-based controllers
    Bashir, Muhammad
    Liu, Ding
    Uzam, Murat
    Wu, Naiqi
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (01):
  • [26] Scheduling Flexible Manufacturing Systems with Petri Nets Based on the Cell Enumeration Method
    Gu, Shenshen
    SUSTAINABLE CONSTRUCTION MATERIALS AND COMPUTER ENGINEERING, 2012, 346 : 412 - 418
  • [27] A new systematic method for designing flexible GT-based manufacturing systems
    Yasuda, K
    Yin, Y
    1998 JAPAN-U.S.A. SYMPOSIUM ON FLEXIBLE AUTOMATION - PROCEEDINGS, VOLS I AND II, 1998, : 157 - 160
  • [28] Emergy-based method for the sustainability assessment and improvement of additive manufacturing systems
    Gao, Mengdi
    Liu, Conghu
    Li, Lei
    Li, Qiang
    Wang, Qingyang
    Liu, Zhifeng
    ENERGY, 2024, 290
  • [29] A maturity-based improvement method for eco-efficiency in manufacturing systems
    Litos, Lampros
    Gray, Darren
    Johnston, Brian
    Morgan, David
    Evans, Steve
    14TH GLOBAL CONFERENCE ON SUSTAINABLE MANUFACTURING, GCSM 2016, 2017, 8 : 160 - 167
  • [30] Scheduling flexible manufacturing systems containing assembly operations based on Petri net structures and dynamics
    Jeng, MD
    Lin, CS
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 4430 - 4435