On Liveness Enforcement of Distributed Petri Net Systems

被引：0

作者：

Clavel, Daniel ^{[1
]}

Mahulea, Cristian ^{[1
]}

Silva, Manuel ^{[1
]}

机构：

[1] Univ Zaragoza, Aragon Inst Engn Res I3A, Dept Comp Sci & Syst Engn, Zaragoza 50009, Spain

来源：

IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 2023年 / 68卷 / 06期

关键词：

Petri nets; Synchronization; Force; Process control; Medical tests; Control systems; Time complexity; Discrete-event systems; distributed algorithms; system testing; DEADLOCK PREVENTION; AVOIDANCE; POLICY;

D O I：

10.1109/TAC.2022.3198328

中图分类号：

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

学科分类号：

0812 ;

摘要：

In this article, we consider the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems. They are called synchronized sequential processes. The presented design algorithm is based on the construction of a control PN, an abstraction of the relations of the T-semiflows, and buffers of the original nonstructurally live PN. The control PN evolves in parallel with the system, avoiding the firing of transitions that may lead the system to nonliveness. Four algorithms are presented, one allowing for the computation of the control PN and three ensuring its liveness.

引用

页码：3776 / 3782

页数：7

共 50 条

[1] On Liveness Enforcement of DSSP net systems
Clavel, Daniel
Mahulea, Cristian
Silva, Manuel
2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC), 2016, : 3935 - 3941
[2] Liveness enforcement for production systems modeled by time Petri nets
Qin, Tao
Dong, Yifan
Yin, Li
Li, Zhiwu
INFORMATION SCIENCES, 2023, 648
[3] T-liveness enforcement in Petri nets based on structural net properties
Iordache, MV
Antsaklis, PJ
PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 4984 - 4989
[4] Liveness Enforcement for Time Petri Nets*
Qin, Tao
Dong, Yifan
Yin, Li
Wu, Naiqi
Li, Zhiwu
2022 8TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT'22), 2022, : 1184 - 1189
[5] Optimal enforcement of liveness for decentralized systems of flexible manufacturing systems using Petri nets
Bashir, Muhammad
TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2020, 42 (12) : 2206 - 2220
[6] Structural liveness preservation of Petri synthesis net
Xia, Chuanliang
Journal of Computational Information Systems, 2010, 6 (13): : 4485 - 4492
[7] Liveness and boundedness analysis of Petri net synthesis
Xia, Chuanliang
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2014, 24 (05)
[8] Periodic structure and liveness of Petri net rings
Li, JN
Suzuki, I
Yamashita, M
INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 3180 - 3185
[9] Preservation of liveness and deadlock-freeness in synchronous synthesis of petri net systems
Pu, Fei
Lu, Wei-Ming
Ruan Jian Xue Bao/Journal of Software, 2003, 14 (12): : 1977 - 1988
[10] Self-liveness of a class of Petri net models for flexible manufacturing systems
Zhong, C.
Li, Z.
IET CONTROL THEORY AND APPLICATIONS, 2010, 4 (03): : 403 - 410

← 1 2 3 4 5 →