Optimal controllability of 2-composed siphons in a class of Petri nets

被引：12
|
作者：
Hou, Y. F. [1 ]
Li, Z. W. [1 ]
Al-Ahmari, A. M. [2 ]
机构：
[1] Xidian Univ, Xian, Peoples R China
[2] King Saud Univ, Riyadh 11451, Saudi Arabia
来源：
ELECTRONICS LETTERS | 2012年 / 48卷 / 24期
基金：
新加坡国家研究基金会; 中国国家自然科学基金;
关键词：
DEADLOCK PREVENTION;
D O I：
10.1049/el.2012.2336
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
Proposesd is a controllability condition of a siphon that is composed of two elementary siphons in a class of Petri nets, Systems of Simple Sequential Processes with Resources ((SPR)-P-3). It is shown that, under the condition, an (SPR)-P-3 admits a maximally permissive liveness-enforcing supervisor that is expressed by a set of monitors if every dependent siphon is 2-composed, which can be decided by an algorithm with polynomial complexity.
引用
收藏
页码：1535 / +
页数：2
相关论文
共 50 条
  • [1] Optimal controllability of 3-composed siphons in a class of Petri nets
    Hou, Y. F.
    Li, Z. W.
    Hong, L.
    Al-Ahmari, A. M.
    ELECTRONICS LETTERS, 2013, 49 (11) : 697 - +
  • [2] Controllability Conditions of Resultant Siphons in a Class of Petri Nets
    Wang, ShouGuang
    Wang, ChengYing
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (05): : 1206 - 1215
  • [3] New controllability condition for siphons in a class of generalised Petri nets
    Liu, G.
    Li, Z.
    Zhong, C.
    IET CONTROL THEORY AND APPLICATIONS, 2010, 4 (05): : 854 - 864
  • [4] On controllability of dependent siphons for deadlock prevention in generalized Petri nets
    Li, Zhiwu
    Zhao, Mi
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (02): : 369 - 384
  • [5] Computation of Minimal Siphons for a Class of Generalized Petri Nets
    Abdul-Hussin, Mowafak Hassan
    2018 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS, MODELLING AND SIMULATION (ISMS), 2018, : 49 - 57
  • [6] New controllability condition for siphons in a class of generalised Petri nets (vol 4, pg 854, 2010)
    Liu, Gaiyun
    Li, Zhiwu
    Zhong, Chunfu
    IET CONTROL THEORY AND APPLICATIONS, 2013, 7 (04): : 632 - 633
  • [7] An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets
    Wang, AnRong
    Li, Zhiwu
    Jia, JianYuan
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (04): : 912 - 923
  • [8] A Polynomial Algorithm for Computing Elementary Siphons in a Class of Petri Nets
    Liu, Huixia
    Xing, Keyi
    Wang, Feng
    Han, Libin
    Sun, Xiaojing
    ASIAN JOURNAL OF CONTROL, 2012, 14 (04) : 1141 - 1149
  • [9] A survey of siphons in Petri nets
    Liu, GaiYun
    Barkaoui, Kamel
    INFORMATION SCIENCES, 2016, 363 : 198 - 220
  • [10] A deadlock prevention approach using elementary siphons for a class of Petri nets
    Li, ZW
    Zhang, XF
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1728 - 1733
12345