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 条
  • [31] Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
    Li, Z.
    Zhang, J.
    Zhao, M.
    IET CONTROL THEORY AND APPLICATIONS, 2007, 1 (04): : 955 - 967
  • [32] Liveness in timed and untimed systems
    Segala, R
    Gawlick, R
    Sogaard-Andersen, J
    Lynch, N
    INFORMATION AND COMPUTATION, 1998, 141 (02) : 119 - 171
  • [33] Liveness in Timed and Untimed Systems
    Department of Computer Science, University of Bologna, Bologna 40127, Italy
    不详
    不详
    不详
    Inf Comput, 2 (119-171):
  • [34] Systems Level Liveness with Extempore
    Sorensen, Andrew
    Gardner, Henry
    PROCEEDINGS OF THE 2017 ACM SIGPLAN INTERNATIONAL SYMPOSIUM ON NEW IDEAS, NEW PARADIGMS, AND REFLECTIONS ON PROGRAMMING AND SOFTWARE (ONWARD!'17), 2017, : 214 - 228
  • [35] Liveness characterization for GFC systems(Ⅰ)
    曹存根
    ScienceinChina(SeriesE:TechnologicalSciences), 1996, (02) : 196 - 205
  • [36] An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    Ameen, Wadea
    IEEE ACCESS, 2022, 10 : 68570 - 68581
  • [37] Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors
    Cong, Xuya
    Wang, Anrong
    Chen, Yufeng
    Wu, Naiqi
    Qu, Ting
    Khalgui, Mohamed
    Li, Zhiwu
    ISA TRANSACTIONS, 2019, 92 : 145 - 154
  • [38] Design of a More Permissive and Structurally Simple Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Li, Zhiwu
    Wang, Xingping
    IECON 2004: 30TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOL 2, 2004, : 1891 - 1895
  • [39] EXTENDED ELEMENTARY SIPHONS AND THEIR APPLICATION TO LIVENESS-ENFORCEMENT OF GENERALIZED PETRI NETS
    Hou, YiFan
    Li, ZhiWu
    Al-Ahmari, Abdulrahman M.
    El-Tamimi, Abdul-Aziz Mohammed
    Nasr, Emad Abouel
    ASIAN JOURNAL OF CONTROL, 2014, 16 (06) : 1789 - 1810
  • [40] EXCHANGE LIABILITY FOR NET CAPITAL ENFORCEMENT
    BONVILLI.WB
    COLUMBIA LAW REVIEW, 1973, 73 (06) : 1262 - 1287