A resource configuration method for liveness of a class of Petri nets

被引：1

作者：

Liu, Miao ^{[1
]}

Wang, ShouGuang ^{[2
]}

Hayat, Tasawar ^{[3
,4
]}

Alsaedi, Ahmed ^{[4
]}

Li, ZhiWu ^{[1
,5
,6
]}

机构：

[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China

[2] Zhejiang Gongshang Univ, Sch Informat & Elect Engn, Hangzhou 310018, Zhejiang, Peoples R China

[3] Quaid I Azam Univ, Dept Math, Islamabad 44000, Pakistan

[4] King Abdulaziz Univ, Dept Math, NAAM Res Grp, Fac Sci, Jeddah 21589, Saudi Arabia

[5] Macau Univ Sci & Technol, Inst Syst Engn, Taipa, Macau, Peoples R China

[6] King Abdulaziz Univ, Fac Engn, Jeddah 21589, Saudi Arabia

来源：

IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION | 2016年 / 33卷 / 04期

基金：

中国国家自然科学基金;

关键词：

Petri net; resource configuration; flexible manufacturing system; FLEXIBLE MANUFACTURING SYSTEMS; DEADLOCK PREVENTION POLICY; OPTIMAL SUPERVISORY CONTROL; ELEMENTARY SIPHONS; ENFORCING SUPERVISORS; DEPENDENT SIPHONS; AVOIDANCE; DESIGN; FMS; CONSTRAINTS;

D O I：

10.1093/imamci/dnv016

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Petri nets are widely used to model flexible manufacturing systems (FMSs). A linear system of simple sequential processes with resources ((LSPR)-P-3), as an important subclass of Petri nets, can well model many FMSs. In this paper, a resource configuration method for liveness of an (LSPR)-P-3 is proposed. First, the relationship between the markings of resource places and process idle places in an (LSPR)-P-3 is analysed. Next, an algorithm used to compute the marking for each resource place in an (LSPR)-P-3 is developed by taking the full advantages of resource subnets. Finally, the computational complexity of the algorithm is proved to be polynomial. Two examples are used to illustrate the application of the proposed method.

引用

页码：933 / 950

页数：18

共 50 条

[1] Liveness characteristic analysis of a class of Petri nets
Liu, Miao
He, Zhou
ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (06):
[2] Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets
Liu, Miao
He, Zhou
Wu, Naiqi
Al-Ahmari, Abdulrahman
Li, Zhiwu
IEEE ACCESS, 2017, 5 : 26376 - 26386
[3] On Liveness and a Class of Generalized Petri Nets
Abdul-Hussin, Mowfak H.
Banaszak, Zbigniew A.
2017 8TH ANNUAL INDUSTRIAL AUTOMATION AND ELECTROMECHANICAL ENGINEERING CONFERENCE (IEMECON), 2017, : 257 - 267
[4] A Resource Allocation Approach for Enforcing Liveness on a Class of Petri Nets
You, Dan
Wang, Shouguang
Dou, Hao
Duo, Wenli
IEEE ACCESS, 2018, 6 : 48577 - 48587
[5] A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets
Wang, ShouGuang
Wang, ChengYing
Zhou, MengChu
Li, ZhiWu
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (01): : 226 - 237
[6] A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
Liu, Ding
Li, ZhiWu
Zhou, MengChu
AUTOMATICA, 2013, 49 (11) : 3167 - 3179
[7] Necessary and sufficient liveness condition of GS3PR Petri nets
Liu, GaiYun
Barkaoui, Kamel
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2015, 46 (07) : 1147 - 1160
[8] Deadlock and liveness characterization for a class of generalized Petri nets
Liu, Miao
Wang, ShouGuang
Zhou, MengChu
Liu, Ding
Al-Ahmari, Abdulrahman
Qu, Ting
Wu, NaiQi
Li, ZhiWu
INFORMATION SCIENCES, 2017, 420 : 403 - 416
[9] Identification of controllable transitions to decide the existence of an optimal liveness-enforcing supervisor for a class of Petri nets
Li, Zhiwu
Qin, Meng
Zhu, Sen
TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (3-4) : 406 - 421
[10] Optimal enforcement of liveness to flexible manufacturing systems modeled with Petri nets via transition-based controllers
Bashir, Muhammad
Liu, Ding
Uzam, Murat
Wu, Naiqi
Al-Ahmari, Abdulrahman
Li, Zhiwu
ADVANCES IN MECHANICAL ENGINEERING, 2018, 10 (01):

← 1 2 3 4 5 →