Diagnosability of Petri nets with observation graphs

被引：3
作者：
Lefebvre, D. [1 ]
Leclercq, E. [1 ]
机构：
[1] Univ Le Havre, GREAH, 75 Rue Bellot, Le Havre, France
来源：
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2016年 / 26卷 / 03期
关键词：
Discrete eventsystems; Petrinets; Partially observed petrinets; Observation graphs; Diagnosability; REACHABILITY TREE APPROACH; DISCRETE-EVENT SYSTEMS; DIAGNOSIS;
D O I：
10.1007/s10626-014-0207-5
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper addresses the problem of diagnosability for dynamic discrete event systems modeled with bounded or unbounded Petri nets that are deadlock-free and monitored with sensor configurations with marking and event measurements. The proposed method gives necessary and sufficient conditions for diagnosability. It is based on the transformation of the coverability graph into an observation graph that encodes all observation sequences of measured markings and events with respect to the sensor configuration. This graph also encodes all sequences of transitions that may fire from any reachable marking of the Petri net. Diagnosability is determined by analyzing the paths and circuits in the observation graph. The method is illustrated with several examples of bounded or unbounded Petri nets.
引用
收藏
页码：539 / 559
页数：21
相关论文
共 28 条
  • [1] [Anonymous], 2006, Securing SCADA Systems
  • [2] [Anonymous], 1981, Petri net theory and the modeling of systems
  • [3] On K-diagnosability of Petri nets via integer linear programming
    Basile, F.
    Chiacchio, P.
    De Tommasi, G.
    [J]. AUTOMATICA, 2012, 48 (09) : 2047 - 2058
  • [4] An Efficient Approach for Online Diagnosis of Discrete Event Systems
    Basile, Francesco
    Chiacchio, Pasquale
    De Tommasi, Gianmaria
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2009, 54 (04) : 748 - 759
  • [5] Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems
    Cabasino, M. P.
    Giua, A.
    Pocci, M.
    Seatzu, C.
    [J]. CONTROL ENGINEERING PRACTICE, 2011, 19 (09) : 989 - 1001
  • [6] A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Lafortune, Stephane
    Seatzu, Carla
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (12) : 3104 - 3117
  • [7] Fault detection for discrete event systems using Petri nets with unobservable transitions
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    [J]. AUTOMATICA, 2010, 46 (09) : 1531 - 1539
  • [8] Deadlock analysis of Petri nets using siphons and mathematical programming
    Chu, F
    Xie, XL
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1997, 13 (06): : 793 - 804
  • [9] Cormen T. H., 2009, Introduction to Algorithms
  • [10] Deadlock checking for one-place unbounded Petri nets based on modified reachability trees
    Ding, ZhiJun
    Jiang, ChangJun
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2008, 38 (03): : 881 - 883
123