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 条
  • [31] Liveness-enforcing supervisor design for a class of generalised petri net models of flexible manufacturing systems
    Li, Z.
    Zhang, J.
    Zhao, M.
    IET CONTROL THEORY AND APPLICATIONS, 2007, 1 (04): : 955 - 967
  • [32] Property preservation of refinement for Petri net based representation for embedded systems
    Xia, Chuanliang
    CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2016, 19 (03): : 1373 - 1384
  • [33] Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
    Chuanliang Xia
    Chengdong Li
    IEEE/CAA Journal of Automatica Sinica, 2021, 8 (04) : 905 - 915
  • [34] Property Preservation of Petri Synthesis Net Based Representation for Embedded Systems
    Xia, Chuanliang
    Li, Chengdong
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2021, 8 (04) : 905 - 915
  • [35] Property preservation of refinement for Petri net based representation for embedded systems
    Chuanliang Xia
    Cluster Computing, 2016, 19 : 1373 - 1384
  • [36] Property preservation of Petri refinement net based representation for embedded systems
    Xia, Chuanliang
    Wang, Tongguo
    Zhang, Jijun
    Wang, Zhong
    MECHATRONICS AND INDUSTRIAL INFORMATICS, PTS 1-4, 2013, 321-324 : 2232 - +
  • [37] Property analysis of refinement of Petri net based representation for embedded systems
    Xia, C. (chuanliang_xia@126.com), 1600, Bentham Science Publishers B.V., P.O. Box 294, Bussum, 1400 AG, Netherlands (05):
  • [38] A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (02): : 299 - 308
  • [39] Weak (approximate) detectability of labeled Petri net systems with inhibitor arcs
    Zhang, Kuize
    Giva, Alessandro
    IFAC PAPERSONLINE, 2018, 51 (07): : 167 - 171
  • [40] The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems
    Xia, Chuanliang
    Wang, Zhuangzhuang
    Wang, Zhong
    ELECTRONICS, 2022, 11 (09)
12345