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 条
  • [31] Distributed Supervisor Synthesis for Automated Manufacturing Systems with Flexible Routes and Assembly Operations Using Petri Nets
    Chen, Chen
    Yang, Yan
    Hu, Hesuan
    2016 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2016, : 3667 - 3673
  • [32] Control Law for Two-Process Flexible Manufacturing Systems Modeled Using Petri Nets
    Yang, Yang
    Yang, Junjun
    Liang, Na
    Zhong, Chunfu
    MATHEMATICS, 2025, 13 (04)
  • [33] Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets
    Hu, Hesuan
    Zhou, MengChu
    Li, Zhiwu
    Tang, Ying
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2013, 9 (01) : 109 - 121
  • [34] On Multi-Step Look-Ahead Deadlock Prediction for Automated Manufacturing Systems Based on Petri Nets
    Lin, Rongfeng
    Yu, Zhenhua
    Shi, Xiaonan
    Dong, Lihong
    Nasr, Emad Abouel
    IEEE ACCESS, 2020, 8 : 170421 - 170432
  • [35] On deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets
    Murat Uzam
    Gökhan Gelen
    The International Journal of Advanced Manufacturing Technology, 2014, 74 : 1213 - 1217
  • [36] On deadlock-free control of automated manufacturing systems with flexible routes and assembly operations using Petri nets
    Uzam, Murat
    Gelen, Gokhan
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2014, 74 (9-12): : 1213 - 1217
  • [37] Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets
    Hu, Hesuan
    Zhou, MengChu
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2010, 7 (04) : 933 - 944
  • [38] Constructing the closed-form solution of control-related states real-time information for insufficient k-th order systems with one non-sharing resource to realize dynamic modeling large TNCS systems of petri nets
    Yu, Tsung Hsien
    Chao, Daniel Yuh
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2019, 42 (03) : 209 - 218
1234