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 条
  • [1] A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) : 3104 - 3117
  • [2] Diagnosability analysis of bounded Petri nets
    Ran, Ning
    Hao, Jinyuan
    He, Zhou
    Seatzu, Carla
    2018 IEEE 23RD INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2018, : 1145 - 1148
  • [3] Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets
    Li, Shiqi
    Uzam, Murat
    Yin, Li
    Zhong, Zhaofeng
    Zheng, Li
    Wu, Naiqi
    IEEE ACCESS, 2021, 9 : 163504 - 163515
  • [4] K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
    Chouchane, Amira
    Ghazel, Mohamed
    Boussif, Abderraouf
    AUTOMATICA, 2023, 147
  • [5] Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
    Houssam-Eddine Gougam
    Yannick Pencolé
    Audine Subias
    Discrete Event Dynamic Systems, 2017, 27 : 143 - 180
  • [6] Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
    Gougam, Houssam-Eddine
    Pencole, Yannick
    Subias, Audine
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2017, 27 (01): : 143 - 180
  • [7] Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020, 65 (07) : 3092 - 3097
  • [8] On-the-fly Trace Generation Approach to the Security Analysis of Cryptographic Protocols: Coloured Petri Nets-based Method
    Permpoontanalarp, Yongyuth
    Sornkhom, Panupong
    FUNDAMENTA INFORMATICAE, 2014, 130 (04) : 423 - 466
  • [9] Diagnosability analysis based on T-invariants of Petri nets
    Wen, YL
    Jeng, M
    2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 371 - 376
  • [10] On-the-Fly Trace Generation Approach to the Security Analysis of the TMN Protocol with Homomorphic Property: A Petri Nets-Based Method
    Permpoontanalarp, Yongyuth
    Changkhanak, Apichai
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (01): : 215 - 229
12345