Intrinsically Live Structures in Process and Resource-Oriented Petri Nets Modeling Automated Manufacturing Systems

被引：0
|
作者：
Liu, Ding [1 ,2 ]
Hou, YiFan [1 ]
Barkaoui, Kamel [2 ]
Zhou, MengChu [3 ,4 ]
机构：
[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China
[2] Conservatoire Natl Arts & Metiers, Lab CEDRIC, F-75141 Paris, France
[3] Tongji Univ, Minist Educ, Key Lab Embedded Syst & Serv Comp, Shanghai 201804, Peoples R China
[4] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA
来源：
2014 IEEE 11TH INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL (ICNSC) | 2014年
基金：
新加坡国家研究基金会; 中国国家自然科学基金;
关键词：
DEADLOCK PREVENTION; AVOIDANCE; POLICY;
D O I：
暂无
中图分类号：
C93 [管理学]; O22 [运筹学];
学科分类号：
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要：
As an effective and graphical mathematical tool, Petri nets are extensively used in the modeling, analysis, verification, and control of automated manufacturing systems. Process and resource-oriented Petri nets (POPNs and ROPNs) are successively proposed in literature focusing on the description of product process and resource usage sequence, respectively. Structural theory is applied on both to solve the deadlock control problem. In this work, a class of colored ROPNs (CROPNs) is defined corresponding to (WSPR)-P-3 that is a class of POPNs. A kind of intrinsically live structures (ILSs) is investigated in both POPNs and CROPNs. Several examples are used to illustrate the work.
引用
收藏
页码：578 / 583
页数：6
相关论文
共 50 条
  • [1] PROCESS VS RESOURCE-ORIENTED PETRI NET MODELING OF AUTOMATED MANUFACTURING SYSTEMS
    Wu, NaiQi
    Zhou, MengChu
    ASIAN JOURNAL OF CONTROL, 2010, 12 (03) : 267 - 280
  • [2] Colored Resource-Oriented Petri Nets for Deadlock Control and Reliability Design of Automated Manufacturing Systems
    Al-Shayea, Adel
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Nasr, Emad Abouel
    Kamrani, Ali K.
    Mahmoud, Haitham A.
    IEEE ACCESS, 2021, 9 : 125616 - 125627
  • [3] On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets
    Chen, HeFeng
    Wu, NaiQi
    Li, ZhiWu
    Qu, Ting
    ISA TRANSACTIONS, 2019, 89 : 67 - 76
  • [4] Resource-oriented Petri net for deadlock resolution in automated manufacturing systems with robots
    Naiqi Wu
    MengChu Zhou
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 74 - +
  • [5] Resource-oriented Petri nets in deadlock avoidance of AGV systems
    Wu, NQ
    Zhou, MC
    2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 64 - 69
  • [6] Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets
    Wu, N.
    Zhou, M.
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2007, 45 (15) : 3439 - 3456
  • [7] Deadlock Avoidance of Flexible Manufacturing Systems by Colored Resource-Oriented Petri Nets with Novel Colored Capacity
    Xiang, ZhaoYu
    VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 27 - 40
  • [8] Modeling with colored timed object-oriented Petri nets for automated manufacturing systems
    Wang, LC
    Wu, SY
    COMPUTERS & INDUSTRIAL ENGINEERING, 1998, 34 (02) : 463 - 480
  • [9] Modeling with colored timed object-oriented Petri nets for automated manufacturing systems
    Wang, Li-Chih
    Wu, Shao-Ying
    Computers and Industrial Engineering, 1998, 34 (02): : 463 - 480
  • [10] Petri nets for modeling automated manufacturing systems with error recovery
    Jeng, MD
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (05): : 752 - 760
12345