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 条
  • [11] A live subclass of petri nets and their application in modeling flexible manufacturing systems
    Guan Jun Liu
    Chang Jun Jiang
    Zhe Hui Wu
    Li Jing Chen
    The International Journal of Advanced Manufacturing Technology, 2009, 41 : 66 - 74
  • [12] A live subclass of petri nets and their application in modeling flexible manufacturing systems
    Liu, Guan Jun
    Jiang, Chang Jun
    Wu, Zhe Hui
    Chen, Li Jing
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2009, 41 (1-2): : 66 - 74
  • [13] Object-oriented petri nets for modelling and analysis of automated manufacturing systems
    Tunghai Univ, Taichung, Taiwan
    Comput Integr Manuf Syst, 2 (111-125):
  • [14] MODELING AUTOMATED MANUFACTURING SYSTEMS USING A MODIFICATION OF COLORED PETRI NETS
    KOCHIKAR, VP
    NARENDRAN, TT
    ROBOTICS AND COMPUTER-INTEGRATED MANUFACTURING, 1992, 9 (03) : 181 - 189
  • [15] Object-oriented Petri nets for modelling and analysis of automated manufacturing systems
    Wang, LC
    COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1996, 9 (02): : 111 - 125
  • [16] Modeling, analysis, and control of automated manufacturing systems using Petri nets
    Seatzu, Carla
    2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 27 - 30
  • [17] Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    Ameen, Wadea
    IEEE ACCESS, 2021, 9 : 84932 - 84947
  • [18] A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
    Chen, Hefeng
    Wu, NaiQi
    Zhou, MengChu
    INFORMATION SCIENCES, 2016, 363 : 178 - 189
  • [19] A SURVEY OF PETRI NETS IN AUTOMATED MANUFACTURING SYSTEMS
    ALJAAR, RY
    DESROCHERS, AA
    MODELLING AND SIMULATION OF SYSTEMS, 1989, 3 : 111 - 118
  • [20] An extended object-oriented Petri nets for modeling and analysis automated re-entrant manufacturing systems
    Liu, HR
    Jiang, ZB
    Fung, RYK
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1654 - 1659
12345