Sufficient conditions for diagnosability of Petri nets

被引：7
作者：
Basile, Francesco [1 ]
Chiacchio, Pasquale [1 ]
De Tommasi, Gianmaria [2 ]
机构：
[1] Univ Salerno, Dip Ing Informaz & Ing Elettr, Via Ponte Melillo, I-84084 Salerno, Italy
[2] Univ Naples Federico II, Dept Informat & Sistemist, I-81025 Naples, Italy
来源：
WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS | 2008年
关键词：
D O I：
10.1109/WODES.2008.4605974
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Sufficient conditions for diagnosability of DES modeled as Petri net are given in this paper. In proposed framework we refer to the concept of diagnosability given by Sampath et al. for finite state automata; as far as the fault events are concerned, they are modeled as unobservable transitions. The results here presented are based on the mathematical representation of PNs, and their complexity does not depend on the initial marking of the net. Hence the proposed approach does not suffer of the state space explosion problem, as the diagnoser approach does.
引用
收藏
页码：370 / +
页数：2
相关论文
共 12 条
[1]  
BASILE F, 2007, P 15 MED C CONTR AUT
[2]   Coordinated decentralized protocols for failure diagnosis of discrete event systems [J].
Debouk, R ;
Lafortune, S ;
Teneketzis, D .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2000, 10 (1-2) :33-86
[3]  
GENC S, 2003, P INT C APPL THEOR P
[4]   Distributed diagnosis of place-bordered Petri nets [J].
Genc, Sahika ;
Lafortune, Stephane .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (02) :206-219
[5]  
Giua A, 2005, IEEE DECIS CONTR P, P6323
[6]   Diagnosis of DES with Petri net models [J].
Lefebvre, Dimitri ;
Delherm, Catherine .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 4 (01) :114-118
[7]   State observation and diagnosis of discrete-event systems described by stochastic automata [J].
Lunze, J ;
Schröder, J .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2001, 11 (04) :319-369
[8]   PETRI NETS - PROPERTIES, ANALYSIS AND APPLICATIONS [J].
MURATA, T .
PROCEEDINGS OF THE IEEE, 1989, 77 (04) :541-580
[9]   Safe diagnosability for fault-tolerant supervision of discrete-event systems [J].
Paoli, A ;
Lafortune, S .
AUTOMATICA, 2005, 41 (08) :1335-1347
[10]   DIAGNOSABILITY OF DISCRETE-EVENT SYSTEMS [J].
SAMPATH, M ;
SENGUPTA, R ;
LAFORTUNE, S ;
SINNAMOHIDEEN, K ;
TENEKETZIS, D .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (09) :1555-1575
12