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] ON-THE-FLY DIAGNOSABILITY ANALYSIS OF BOUNDED AND UNBOUNDED LABELED PETRI NETS USING VERIFIER NETS
    Li, Ben
    Khlif-Bouassida, Manel
    Toguyeni, Armand
    INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2018, 28 (02) : 269 - 281
  • [2] On-the-fly Diagnosability Analysis of Labeled Petri Nets Using T-invariants
    Li, Ben
    Khlif-Bouassida, Manel
    Toguyeni, Armand
    IFAC PAPERSONLINE, 2015, 48 (07): : 64 - 70
  • [3] 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
  • [4] 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
  • [5] Diagnosability Analysis of Unbounded Petri Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009), 2009, : 1267 - 1272
  • [6] On-the-fly solution techniques for stochastic Petri nets and extensions
    Deavours, DD
    Sanders, WH
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (10) : 889 - 902
  • [7] ''On-the-fly'' solution techniques for stochastic Petri nets and extensions
    Deavours, DD
    Sanders, WH
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 132 - 141
  • [8] On-the-fly TCTL model checking for time Petri nets
    Hadjidj, Rachid
    Boucheneb, Hanifa
    THEORETICAL COMPUTER SCIENCE, 2009, 410 (42) : 4241 - 4261
  • [9] Diagnosis and Diagnosability Analysis of Labeled Petri Nets Using Reduction Rules
    Li, Ben
    Khlif-Bouassida, Manel
    Toguyeni, Armand
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 171 - 176
  • [10] MORE EFFICIENT ON-THE-FLY VERIFICATION METHODS OF COLORED PETRI NETS
    He, Cong
    Ding, Zhijun
    COMPUTING AND INFORMATICS, 2021, 40 (01) : 195 - 215
12345