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 条
  • [1] On Liveness Enforcement of Distributed Petri Net Systems
    Clavel, Daniel
    Mahulea, Cristian
    Silva, Manuel
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (06) : 3776 - 3782
  • [2] Compositional verification of concurrent systems using Petri-net-based condensation rules
    Univ of Illinois at Chicago, Chicago, United States
    ACM Trans Program Lang Syst, 5 (917-979):
  • [3] Compositional verification of concurrent systems using Petri-net-based condensation rules
    Juan, EYT
    Tsai, JJP
    Murata, T
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1998, 20 (05): : 917 - 979
  • [4] Petri net controller synthesis for discrete event systems using weighted inhibitor arc
    Wu, WM
    Su, HY
    Hu, JB
    Chu, J
    Zhai, HF
    Wu, HH
    2001 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS I-IV, PROCEEDINGS, 2001, : 3582 - 3587
  • [5] Preservation of liveness and deadlock-freeness in synchronous synthesis of petri net systems
    Pu, Fei
    Lu, Wei-Ming
    Ruan Jian Xue Bao/Journal of Software, 2003, 14 (12): : 1977 - 1988
  • [6] Self-liveness of a class of Petri net models for flexible manufacturing systems
    Zhong, C.
    Li, Z.
    IET CONTROL THEORY AND APPLICATIONS, 2010, 4 (03): : 403 - 410
  • [7] Optimal liveness Petri net controllers with minimal structures for automated manufacturing systems
    Xing, KY
    Hu, BS
    INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 282 - 287
  • [8] Compositional Petri net approach to the development of concurrent and distributed systems
    Anisimov, N.A.
    Golenkov, E.A.
    Kharitonov, D.I.
    Programmirovanie, 2001, 27 (06): : 30 - 44
  • [9] Compositional Petri Net Approach to the Development of Concurrent and Distributed Systems
    N. A. Anisimov
    E. A. Golenkov
    D. I. Kharitonov
    Programming and Computer Software, 2001, 27 : 309 - 319
  • [10] Compositional Petri net approach to the development of concurrent and distributed systems
    Anisimov, NA
    Golenkov, EA
    Kharitonov, DI
    PROGRAMMING AND COMPUTER SOFTWARE, 2001, 27 (06) : 309 - 319
12345