On Liveness Enforcement of DSSP net systems

被引：0

作者：

Clavel, Daniel ^{[1
]}

Mahulea, Cristian ^{[1
]}

Silva, Manuel ^{[1
]}

机构：

[1] Univ Zaragoza, Aragon Inst Engn Res I3A, Zaragoza, Spain

来源：

2016 IEEE 55TH CONFERENCE ON DECISION AND CONTROL (CDC) | 2016年

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

Deterministically Synchronized Sequential Process (DSSP) are modular Petri Net (PN) systems composed by a set of state machines PNs (called also agents) cooperating in a distributed way through asynchronous message passing. Messages can delay the normal execution of agents, but to not addition the resolution of conflicts. The modular structure of DSSP allows strong analytical results, (for example, the rank theorem provides necessary and sufficient condition for structural liveness). This paper considers a synthesis problem of liveness enforcing. For some particular structures of DSSP in which the rank theorem does not hold we provide a technique based on the pre-assignment of the buffers in order to ensure that the model becomes live.

引用

页码：3935 / 3941

页数：7

共 50 条

[21] Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems
2013, Institute of Electrical and Electronics Engineers Inc. (43)
[22] Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems
Liu, Ding
Li, Zhiwu
Zhou, Mengchu
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (01): : 85 - 97
[23] 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):
[24] On the existence of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems
Li, Zhiwu
Shpitalni, Moshe
PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 90 - +
[25] A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems
Bashir, Muhammad
Li, Zhiwu
Uzam, Murat
Al-Ahmari, Abdulrahman
Wu, Naiqi
Liu, Ding
Qu, Ting
IEEE ACCESS, 2017, 5 : 15731 - 15749
[26] Boundedness and liveness enforcement for labeled Petri nets using transition priority
Liu Y.-J.
Li X.-B.
Journal of Electronic Science and Technology, 2023, 21 (04)
[27] Computational Complexity of Liveness Problem of Normal Petri Net
Ohta, Atsushi
Tsuji, Kohkichi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2009, E92A (11) : 2717 - 2722
[28] Liveness characterization for GFC systems (Ⅱ)
曹存
ScienceinChina(SeriesE:TechnologicalSciences), 1996, (02) : 206 - 216
[29] Boundedness and liveness enforcement for labeled Petri nets using transition priority
Ye-Jia Liu
Xun-Bo Li
Journal of Electronic Science and Technology, 2023, 21 (04) : 77 - 92
[30] On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
Bashir, Muhammad
Li, Zhiwu
Uzam, Murat
Wu, Naiqi
Al-Ahmari, Abdulrahman
IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 2018, 35 (04) : 1217 - 1249

← 1 2 3 4 5 →