Compositional verification of liveness property in inhibitor-arc connections of Petri net systems

被引：0
|
作者：
Pu, Fei [1 ,2 ]
机构：
[1] College of Computer and Information Engineering, Zhejiang Gongshang University, Hangzhou, China
[2] State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, China
来源：
Journal of Software | 2012年 / 7卷 / 03期
关键词：
Petri nets;
D O I：
10.4304/jsw.7.3.499-507
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：499 / 507
相关论文
共 50 条
  • [21] Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Chen, YuFeng
    Li, Zhiwu
    Khalgui, Mohamed
    Mosbahi, Olfa
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (02) : 374 - 393
  • [22] Hybrid liveness-enforcing policy for generalized Petri net models of flexible manufacturing systems
    2013, Institute of Electrical and Electronics Engineers Inc. (43)
  • [23] On the Bus Priority Dilemma: A Petri Net Model with Resource Sharing and Inhibitor Arc
    Boukhentiche, Hamza
    Abbas-Turki, Abdeljalil
    El Moudni, Abdellah
    2011 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2011,
  • [24] Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems
    Liu, Ding
    Li, Zhiwu
    Zhou, Mengchu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (01): : 85 - 97
  • [25] On the existence of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems
    Li, Zhiwu
    Shpitalni, Moshe
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 90 - +
  • [26] A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems
    Bashir, Muhammad
    Li, Zhiwu
    Uzam, Murat
    Al-Ahmari, Abdulrahman
    Wu, Naiqi
    Liu, Ding
    Qu, Ting
    IEEE ACCESS, 2017, 5 : 15731 - 15749
  • [27] Engineering multiagent systems based on interaction protocols: A compositional Petri net approach
    Ling, S
    Loke, SW
    ENTERPRISE INFORMATION SYSTEMS V, 2004, : 279 - 285
  • [28] Modeling and formal verification of embedded systems based on a Petri net representation
    Cortés, LA
    Eles, P
    Peng, Z
    JOURNAL OF SYSTEMS ARCHITECTURE, 2003, 49 (12-15) : 571 - 598
  • [29] Verification of Detectability for Time Labeled Petri Net Systems with Unobservable Transitions
    Qin, Tao
    Li, Zhiwu
    MATHEMATICS, 2025, 13 (04)
  • [30] On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach
    Bashir, Muhammad
    Li, Zhiwu
    Uzam, Murat
    Wu, Naiqi
    Al-Ahmari, Abdulrahman
    IMA JOURNAL OF MATHEMATICAL CONTROL AND INFORMATION, 2018, 35 (04) : 1217 - 1249
12345