A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S4PR

被引：99

作者：

Wang, ShouGuang ^{[1
]}

You, Dan ^{[1
]}

Zhou, MengChu ^{[2
,3
]}

机构：

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

[2] Macau Univ Sci & Technol, Inst Syst Engn, Macau 999078, Peoples R China

[3] New Jersey Inst Technol, Dept Elect & Comp Engn, Newark, NJ 07102 USA

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2017年 / 62卷 / 08期

基金：

浙江省自然科学基金; 中国国家自然科学基金;

关键词：

Petri nets; resource allocation systems; strict minimal siphons (SMS); systems of sequential systems with shared resources ((SPR)-P-4) nets; DEADLOCK PREVENTION POLICY; PETRI NETS; COMPUTATION; SYSTEMS; MODELS;

D O I：

10.1109/TAC.2017.2677859

中图分类号：

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

学科分类号：

0812 ;

摘要：

Systems of sequential systems with shared resources ((SPR)-P-4) represent a class of Petri nets that have powerful modeling capability for resource allocation systems. Their efficient siphon computation is important. An open issue is how to determine whether a resource subset can generate a strict minimal siphon (SMS). This paper presents the answer. In particular, we propose a new concept called characteristic implicit resource-transition nets. By charactering such nets, we successfully establish a necessary and sufficient condition for a resource subset to generate an SMS.

引用

页码：4173 / 4179

页数：7

共 33 条

[1] Deadlock prevention and avoidance in FMS: A Petri net based approach
Abdallah, IB
ElMaraghy, HA
[J]. INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 1998, 14 (10) : 704 - 715
[2] BARKAOUI K, 1995, 1995 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, P4119, DOI 10.1109/ICSMC.1995.538436
[3] Barkaoui K., 1996, P WORKSH MAN PETR NE, P62
[4] Barkaoui K., 1989, P 10 INT C APPL THEO, P1
[5] GENERATING BASIS SIPHONS AND TRAPS OF PETRI NETS USING THE SIGN INCIDENCE MATRIX
BOER, ER
MURATA, T
[J]. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-FUNDAMENTAL THEORY AND APPLICATIONS, 1994, 41 (04): : 266 - 271
[6] Chao DY, 2007, J INF SCI ENG, V23, P853
[7] Enumeration. algorithms for minimal siphons in Petri nets based on place constraints
Cordone, R
Ferrarini, L
Piroddi, L
[J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2005, 35 (06): : 844 - 854
[8] An algorithm to compute the minimal siphons in S4 PR nets
Esther Cano, Elia
Rovetto, Carlos A.
Colom, Jose-Manuel
[J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2012, 22 (04): : 403 - 428
[9] A PETRI-NET BASED DEADLOCK PREVENTION POLICY FOR FLEXIBLE MANUFACTURING SYSTEMS
EZPELETA, J
COLOM, JM
MARTINEZ, J
[J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1995, 11 (02): : 173 - 184
[10] Hruz B., 2007, MODELING CONTROL DIS

← 1 2 3 4 →