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 条
  • [21] Finding minimal siphons in general Petri nets
    Tanimoto, S
    Yamauchi, M
    Watanabe, T
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 1996, E79A (11) : 1817 - 1824
  • [22] Verification of siphons and traps for algebraic Petri nets
    Schmidt, K
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 427 - 446
  • [23] Clarifications on the definitions of elementary siphons in Petri nets
    Li, ZhiWu
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2006, 36 (06): : 1227 - 1229
  • [24] Characterizing liveness of Petri nets in terms of siphons
    Jiao, L
    Cheung, TY
    Lu, WM
    APPLICATIONS AND THEORY OF PETRI NETS 2002, 2002, 2360 : 203 - 216
  • [25] Generating minimal siphons and traps for Petri nets
    Jeng, MD
    Peng, MY
    INFORMATION INTELLIGENCE AND SYSTEMS, VOLS 1-4, 1996, : 2996 - 2999
  • [26] State variable description and controllability of a class of continuous Petri nets
    AmerYahia, C
    Zerhouni, N
    ElMoudni, A
    Ferney, M
    ISCAS 96: 1996 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - CIRCUITS AND SYSTEMS CONNECTING THE WORLD, VOL 3, 1996, : 68 - 71
  • [27] Petri Nets Liveness Analysis by minimal siphons
    Jeng, MD
    Peng, MY
    ETFA '97 - 1997 IEEE 6TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION PROCEEDINGS, 1997, : 315 - 320
  • [28] Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons
    ShouGuang Wang
    WenHui Wu
    Jing Yang
    Journal of Intelligent Manufacturing, 2015, 26 : 321 - 330
  • [29] Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons
    Wang, ShouGuang
    Wu, WenHui
    Yang, Jing
    JOURNAL OF INTELLIGENT MANUFACTURING, 2015, 26 (02) : 321 - 330
  • [30] Modified definition of characteristic P-vector for elementary siphons in a class of Petri nets
    Chao, D. Y.
    IET CONTROL THEORY AND APPLICATIONS, 2010, 4 (05): : 841 - 853
12345