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 条
  • [1] On Liveness Enforcement of Distributed Petri Net Systems
    Clavel, Daniel
    Mahulea, Cristian
    Silva, Manuel
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (06) : 3776 - 3782
  • [2] 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
  • [3] Liveness enforcement for production systems modeled by time Petri nets
    Qin, Tao
    Dong, Yifan
    Yin, Li
    Li, Zhiwu
    INFORMATION SCIENCES, 2023, 648
  • [5] 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
  • [6] Polynomial-time optimal liveness enforcement for guidepath-based transport systems
    Reveliotis, Spyros
    Masopust, Tomas
    Ibrahim, Michael
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2021, 41
  • [7] Structured solution of stochastic DSSP systems
    Campos, J
    Silva, M
    Donatelli, S
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 91 - 100
  • [8] 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
  • [9] 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
  • [10] Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems
    Xing, KY
    Hu, BS
    INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 282 - 287