On-the-fly Diagnosability Analysis of LPN Using Verifier Nets

被引：0
|
作者：
Li, Ben [1 ]
Khlif-Bouassida, Manel [1 ]
Toguyeni, Armand [1 ]
机构：
[1] Ecole Cent Lille, CRIStAL, UNIR 9189, F-59650 Villeneuve Dascq, France
来源：
2016 3RD CONFERENCE ON CONTROL AND FAULT-TOLERANT SYSTEMS (SYSTOL) | 2016年
关键词：
PETRI NETS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, the on-the-fly diagnosability analysis using Verifier Nets (VN) is developed. The objective is to improve the VN approach by using on-the-fly diagnosability analysis technique. The diagnosability is analyzed in the framework of bounded and unbounded labeled Petri nets (LPN) with no deadlock after firing any fault transition. The VN and its reachability graph (for bounded LPN)/ coverability graph (for unbounded LPN) are built on-the-fly and in parallel for diagnosability analysis. Stop conditions are proposed to stop the construction as soon as a diagnosability decision is established. This approach achieves a compromise between computation efficiency and combinatorial explosion limitation.
引用
收藏
页码：305 / 312
页数：8
相关论文
共 50 条
  • [41] Deadlock Analysis in Minimal Adaptive Routing Algorithms using Petri Nets
    Rovetto, Carlos A.
    Cano, Elia E.
    Colom, Jose-Manuel
    IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2010), 2010,
  • [42] Efficient reachability analysis of bounded Petri nets using constraint programming
    Bourdeaud'huy, T
    Yim, P
    Hanafi, S
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 1870 - 1875
  • [43] Modeling, Analysis, Simulation, and Control of Laboratory Automation Systems Using Petri Nets—Analysis and Control
    Bristol-Myers Squibb, Princeton, NJ, United States
    JALA J. Assoc. Lab. Autom., 2008, 2 (103-115): : 103 - 115
  • [44] Qualitative Analysis of Interorganizational WorkFlow nets using Linear Logic: Soundness Verification
    Soares Passos, Ligia Maria
    Julia, Stephane
    2013 IEEE 25TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI), 2013, : 667 - 673
  • [45] Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets
    Yang, Benyuan
    Hu, Hesuan
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2023, 20 (02) : 775 - 788
  • [46] Integration and analysis of use cases using modular Petri nets in requirements engineering
    Lee, WJ
    Cha, SD
    Kwon, YR
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (12) : 1115 - 1130
  • [47] STATIC ANALYSIS OF CONCURRENT PROCESSES FOR DYNAMIC PROPERTIES USING PETRI NETS.
    Herzog, Otthein
    Instrument Maintenance Management, 1979, 70 : 66 - 90
  • [48] Reliability Analysis of Safety-Critical Systems using Optimized Petri Nets
    Mamdikar, Mohan Rao
    Kumar, Vinay
    Bharti, Sharda
    Singh, Pooja
    PROGRESS IN NUCLEAR ENERGY, 2023, 164
  • [49] Design of Optimal Control Sequences in Petri Nets Using Basis Marking Analysis
    Ma, Ziyue
    Zou, Minqiang
    Zhang, Jiafeng
    Li, Zhiwu
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 67 (07) : 3685 - 3692
  • [50] Requirements specification and analysis of digital systems using fuzzy and marked Petri nets
    Shen, VRL
    Lai, FP
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 1998, 28 (05): : 748 - 754
12345