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 条
  • [31] Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification
    Soares Passos, Ligia Maria
    Julia, Stephane
    2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9, 2009, : 2843 - 2847
  • [32] Behavioral and performance analysis of feeding system using stochastic reward nets
    Sachdeva, Anish
    Kumar, Pradeep
    Kumar, Dinesh
    INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2009, 45 (1-2) : 156 - 169
  • [33] Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
    Liao, Hongwei
    Wang, Yin
    Cho, Hyoun Kyu
    Stanley, Jason
    Kelly, Terence
    Lafortune, Stephane
    Mahlke, Scott
    Reveliotis, Spyros
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2013, 23 (02): : 157 - 195
  • [34] Modeling and Analysis of Multi-agent Systems using Petri Nets
    Celaya, Jose R.
    Desrochers, Alan A.
    Graves, Robert J.
    JOURNAL OF COMPUTERS, 2009, 4 (10) : 981 - 996
  • [35] Modeling, analysis, and control of automated manufacturing systems using Petri nets
    Seatzu, Carla
    2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2019, : 27 - 30
  • [36] Behavioral and performance analysis of feeding system using stochastic reward nets
    Anish Sachdeva
    Pradeep Kumar
    Dinesh Kumar
    The International Journal of Advanced Manufacturing Technology, 2009, 45 : 156 - 169
  • [37] Modeling and analysis mznufacturing systems using a new class of Petri nets
    Huang, YS
    Xie, XL
    Hsu, CN
    2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, 2004, : 554 - 559
  • [38] Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
    Hongwei Liao
    Yin Wang
    Hyoun Kyu Cho
    Jason Stanley
    Terence Kelly
    Stéphane Lafortune
    Scott Mahlke
    Spyros Reveliotis
    Discrete Event Dynamic Systems, 2013, 23 : 157 - 195
  • [39] Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph
    Ran, Ning
    Nie, Jingyao
    Meng, Aiwen
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2024, 69 (10) : 7159 - 7165
  • [40] Performance analysis of priority queueing systems using timed Petri nets
    Strzeciwilk, Dariusz
    Pekala, Robert
    Kwater, Tadeusz
    PROCEEDINGS OF 19TH INTERNATIONAL CONFERENCE COMPUTATIONAL PROBLEMS OF ELECTRICAL ENGINEERING, 2018,
12345