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 条
  • [41] A fuzzy Petri net tool for modeling and verification of knowledge-based systems
    Koriem, SM
    COMPUTER JOURNAL, 2000, 43 (03): : 206 - 223
  • [42] An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems
    Kaid, Husam
    Al-Ahmari, Abdulrahman
    Li, Zhiwu
    Ameen, Wadea
    IEEE ACCESS, 2022, 10 : 68570 - 68581
  • [43] Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors
    Cong, Xuya
    Wang, Anrong
    Chen, Yufeng
    Wu, Naiqi
    Qu, Ting
    Khalgui, Mohamed
    Li, Zhiwu
    ISA TRANSACTIONS, 2019, 92 : 145 - 154
  • [44] Design of a More Permissive and Structurally Simple Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems
    Li, Zhiwu
    Wang, Xingping
    IECON 2004: 30TH ANNUAL CONFERENCE OF IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOL 2, 2004, : 1891 - 1895
  • [45] A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems
    Ding, Zuohua
    Zhou, Yuan
    Jiang, Mingyue
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2015, 45 (07): : 1087 - 1100
  • [46] Synthesis and property-preservation of Petri net systems based on shared places
    Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China
    不详
    Jisuanji Xuebao, 2007, 3 (352-360): : 352 - 360
  • [47] Property Analysis of Gateway Refinement of Object-Oriented Petri Net with Inhibitor-Arcs-Based Representation for Embedded Systems
    Xia, Chuanliang
    Qin, Mengying
    Sun, Yan
    Guo, Maibo
    ELECTRONICS, 2023, 12 (18)
  • [48] A review of Petri Net based modeling and verification for embedded real-time systems
    zhang, Haitao
    Wang, Fei-Yue
    DETC 2005: ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, 2005, Vol 4, 2005, : 257 - 264
  • [49] SkiNet A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems
    Pelletier, Baptiste
    Lesire, Charles
    Doose, David
    Godary-Dejean, Karen
    Drame-Maigne, Charles
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (371): : 120 - 138
  • [50] A Petri Net Approach to Fault Verification in Phased Mission Systems using the Standard Deviation Technique
    Lloyd, Michael D.
    Andrews, John D.
    Remenyte-Prescott, Rasa
    Pearson, John T.
    Hubbard, Peter
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2014, 30 (01) : 83 - 95
12345