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
相关论文
共 38 条
  • [11] Object-oriented Petri nets and π-calculus-based modeling and analysis of reconfigurable manufacturing systems
    Yu, Zhenhua
    Guo, Fang
    Ouyang, Jie
    Zhou, Lijun
    ADVANCES IN MECHANICAL ENGINEERING, 2016, 8 (11) : 1 - 11
  • [12] Deadlock Analysis and Avoidance for Automated Manufacturing Systems Based on Petri Nets With Forward-Conflict-Free Structures
    Yang, Yan
    Liu, Zhijie
    Zhao, Zhijia
    Zhou, Mengchu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2025, 55 (03): : 1634 - 1646
  • [13] Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets
    Hu, Hesuan
    Zhou, MengChu
    Li, ZhiWu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2010, 7 (03) : 549 - 557
  • [14] Supervisor Design and Simplification for Automated Manufacturing Systems Using Colored Petri Nets
    Hu, HeSuan
    Yang, Yan
    Liu, Yang
    Chen, Chen
    2015 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2015, : 3826 - 3832
  • [15] Structure Independence of Supervisor Simplification in Automated Manufacturing Systems using Petri Nets
    Chen, Chen
    Hu, Hesuan
    2016 EUROPEAN CONTROL CONFERENCE (ECC), 2016, : 2329 - 2336
  • [16] Complexity of the deadlock problem for Petri nets modeling resource allocation systems
    Liu, Guanjun
    INFORMATION SCIENCES, 2016, 363 : 190 - 197
  • [17] A New Class of Petri Nets for Modeling and Control of Ratio-enforced Resource Allocation Systems
    Hu, HeSuan
    Zhou, MengChu
    Li, ZhiWu
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 199 - +
  • [18] A Robust Control Approach to Automated Manufacturing Systems Allowing Failures and Reworks with Petri Nets
    Wang, Xiaojun
    Hu, Hesuan
    Zhou, Yuan
    Liu, Yang
    2017 13TH IEEE CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2017, : 370 - 375
  • [19] Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets
    Hu, HeSuan
    Zhou, MengChu
    Li, ZhiWu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (02): : 392 - 403
  • [20] Deadlock Control of Automated Manufacturing Systems Based on Petri Nets-A Literature Review
    Li, ZhiWu
    Wu, NaiQi
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2012, 42 (04): : 437 - 462
1234