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 条
  • [31] ON CONTROLLABILITY OF CONTROLLED PETRI NETS
    USHIO, T
    CONTROL-THEORY AND ADVANCED TECHNOLOGY, 1989, 5 (03): : 265 - 275
  • [32] Some results on the computation of minimal siphons in Petri nets
    Cordone, R
    Ferrarini, L
    Piroddi, L
    42ND IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-6, PROCEEDINGS, 2003, : 3754 - 3759
  • [33] Deadlock prevention policy based on Petri nets and siphons
    Huang, YS
    Jeng, M
    Xie, XL
    Chung, SL
    INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2001, 39 (02) : 283 - 305
  • [34] An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets
    You, Dan
    Wang, Shouguang
    Dai, Wenzhan
    Wu, Wenhui
    Jia, Yongshu
    IEEE ACCESS, 2018, 6 : 4255 - 4265
  • [35] Computation of elementary siphons in Petri nets for deadlock control
    Chao, Daniel Yuh
    COMPUTER JOURNAL, 2006, 49 (04): : 470 - 479
  • [36] Computation of elementary siphons in Petri nets for deadlock control
    Chao, Daniel Yuh
    Computer Journal, 2006, 49 (04): : 470 - 479
  • [37] Control of elementary and dependent siphons in Petri nets and their application
    Li, Zhiwu
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 38 (01): : 133 - 148
  • [38] A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets
    Wang, ShouGuang
    Wang, ChengYing
    Zhou, MengChu
    Li, ZhiWu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (01): : 226 - 237
  • [39] Supervisory control of a modular class of discrete event systems based on elementary siphons of Petri nets
    Li, ZW
    Zhao, M
    Zhu, RM
    2005 INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION (ICCA), VOLS 1 AND 2, 2005, : 1181 - 1186
  • [40] Efficient computation of strict minimal siphons for a class of Petri nets models of automated manufacturing systems
    Wang, A. R.
    Li, Z. W.
    Jia, J. Y.
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 182 - 201
12345