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 条

[21] On-the-fly analysis of chloride and bromide in drug samples using NMR spectroscopy
Guillou, Vincent
Schoenberger, Torsten
JOURNAL OF PHARMACEUTICAL AND BIOMEDICAL ANALYSIS, 2022, 213
[22] 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
[23] Diagnosability enforcement in labeled Petri nets using supervisory control
Hu, Yihui
Ma, Ziyue
Li, Zhiwu
Giua, Alessandro
AUTOMATICA, 2021, 131
[24] 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
[25] 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
[26] Diagnosability analysis based on T-invariants of Petri nets
Wen, YL
Jeng, M
2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 371 - 376
[27] Federated Entity Search Using On-the-Fly Consolidation
Herzig, Daniel M.
Mika, Peter
Blanco, Roi
Thanh Tran
SEMANTIC WEB - ISWC 2013, PART I, 2013, 8218 : 167 - 183
[28] Multisensor on-the-fly localization using laser and vision
Arras, KO
Tomatis, N
Siegwart, R
2000 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2000), VOLS 1-3, PROCEEDINGS, 2000, : 462 - 467
[29] On-the-fly branching bisimulation minimization for compositional analysis
Cheng, Yung-Pin
Wang, Hong-Yi
Cheng, Yu-Ru
IMPLEMENTATION AND APPLICATION OF AUTOMATA, 2006, 4094 : 219 - 229
[30] PERFORMANCE ANALYSIS OF ON-THE-FLY GARBAGE COLLECTION.
Hickey, Tim
Cohen, Jacques
1600, (27):

← 1 2 3 4 5 →