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 条
  • [21] Robust Control of Automated Manufacturing Systems With Complex Structures Using Petri Nets
    Du, Nan
    Hu, Hesuan
    Zhou, Yuan
    Liu, Yang
    2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 364 - 369
  • [22] Resource-oriented scheduling for real world manufacturing systems
    Madureira, A
    Ramos, C
    Silva, SC
    PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON ASSEMBLY AND TASK PLANNING (ISATP2003), 2003, : 140 - 145
  • [23] MODELING AND SIMULATION OF PETRI NETS FOR COMPLEX SCHEDULING RULES OF AUTOMATED MANUFACTURING SYSTEMS
    Kim, Chulhan
    Lee, Tae-Eog
    23RD EUROPEAN MODELING & SIMULATION SYMPOSIUM, EMSS 2011, 2011, : 319 - 324
  • [24] Modeling Framework for Automated Manufacturing Systems Based on Petri Nets and ISA Standards
    Hernandez-Martinez, E. G.
    Puga-Velazquez, E. S.
    Foyo-Valdes, S. A.
    Meda-Campana, J. A.
    STUDIES IN INFORMATICS AND CONTROL, 2013, 22 (02): : 163 - 174
  • [25] Compact modeling of manufacturing systems with Petri nets
    von Drathen, Arne
    2007 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-8, 2007, : 41 - 46
  • [26] Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    IEEE ACCESS, 2020, 8 (217573-217591) : 217573 - 217591
  • [27] A modular modeling approach for automated manufacturing systems based on shared resources and process planning using Petri Nets
    Morandin, O
    Kato, ERR
    Politano, PR
    Camargo, HA
    Porto, AJV
    Inamasu, RY
    SMC 2000 CONFERENCE PROCEEDINGS: 2000 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOL 1-5, 2000, : 3057 - 3062
  • [28] Resource-oriented Petri net for deadlock avoidance in flexible assembly systems
    Wu, Naiqi
    Zhou, MengChu
    Li, ZhiWu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (01): : 56 - 69
  • [29] Object oriented Petri nets in business process modeling
    Moldt, D
    Valk, R
    BUSINESS PROCESS MANAGEMENT, 2000, 1806 : 254 - 273
  • [30] Software for coloured Petri nets oriented to flexible manufacturing systems
    Lefranc, G
    Vera, P
    González, N
    Valenzuela, P
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 221 - 226
12345