Diagnosability of bounded Petri nets

被引：28

作者：

Cabasino, Maria Paola ^{[1
]}

Giua, Alessandro ^{[1
]}

Seatzu, Carla ^{[1
]}

机构：

[1] Univ Cagliari, Dept Elect & Elect Engn, Piazza DArmi, I-09123 Cagliari, Italy

来源：

PROCEEDINGS OF THE 48TH IEEE CONFERENCE ON DECISION AND CONTROL, 2009 HELD JOINTLY WITH THE 2009 28TH CHINESE CONTROL CONFERENCE (CDC/CCC 2009) | 2009年

关键词：

DISCRETE-EVENT SYSTEMS; FAULT-DETECTION; MODELS; TRANSITIONS;

D O I：

10.1109/CDC.2009.5399874

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

In this paper we present an approach to solve the problem of diagnosability of bounded Petri net systems. In particular, we first give necessary and sufficient conditions for diagnosability. Then, we present a method to test diagnosability that is based on the analysis of two graphs that depend on the structure of the net, including the faults model, and the initial marking. The first graph is called basis reachability diagnoser, the second one is called modified basis reachability graph.

引用

页码：1254 / 1260

页数：7