Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems

被引：137
|
作者：
Cabasino, M. P. [1 ]
Giua, A. [1 ]
Pocci, M. [1 ]
Seatzu, C. [1 ]
机构：
[1] Univ Cagliari, Dept Elect & Elect Engn, I-09124 Cagliari, Italy
来源：
CONTROL ENGINEERING PRACTICE | 2011年 / 19卷 / 09期
关键词：
Fault diagnosis; Discrete event systems; Petri nets; Labeled Petri nets; FAULT-DIAGNOSIS; FAILURE DIAGNOSIS;
D O I：
10.1016/j.conengprac.2010.12.010
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper an approach to on-line diagnosis of discrete event systems based on labeled Petri nets is presented. The approach is based on the notion of basis markings and justifications and it can be applied both to bounded and unbounded Petri nets whose unobservable subnet is acyclic. Moreover it is shown that, in the case of bounded Petri nets, the most burdensome part of the procedure may be moved off-line, computing a particular graph called Basis Reachability Graph. Finally, the effectiveness of the proposed procedure is analyzed applying a MATLAB diagnosis toolbox we developed to a manufacturing example taken from the literature. (C) 2011 Elsevier Ltd. All rights reserved.
引用
收藏
页码：989 / 1001
页数：13
相关论文
共 50 条
  • [1] Online Fault Diagnosis of Discrete Event Systems Modeled by Labeled Petri Nets Using Labeled Priority Petri Nets
    de Freitas, Braian Igreja
    Basilio, Joao Carlos
    [J]. IFAC PAPERSONLINE, 2022, 55 (28): : 329 - 336
  • [2] Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Paoli, Andrea
    Seatzu, Carla
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (06): : 1477 - 1485
  • [3] Diagnosability of Discrete-Event Systems Using Labeled Petri Nets
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    [J]. IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2014, 11 (01) : 144 - 153
  • [4] DISCRETE EVENT DIAGNOSIS USING PETRI NETS
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 3, 2009, : IS15 - IS29
  • [5] DISCRETE EVENT DIAGNOSIS USING PETRI NETS
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 2: ROBOTICS AND AUTOMATION, 2009, : IS15 - IS29
  • [6] DISCRETE EVENT DIAGNOSIS USING PETRI NETS
    Cabasino, Maria Paola
    Giua, Alessandro
    Seatzu, Carla
    [J]. ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 1: INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION, 2009, : IS15 - IS29
  • [7] Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets
    Li, Shiqi
    Uzam, Murat
    Yin, Li
    Zhong, Zhaofeng
    Zheng, Li
    Wu, Naiqi
    [J]. IEEE ACCESS, 2021, 9 : 163504 - 163515
  • [8] Optimistic Fault Diagnosis in Discrete Event Systems by Labeled Petri Nets and Basis Markings
    Guanghui Zhu
    Jiafeng Zhang
    Zhong Zheng
    Shan Luan
    Te Chen
    Qiang Ma
    Zhiwu Li
    [J]. International Journal of Control, Automation and Systems, 2022, 20 : 1891 - 1903
  • [9] Optimistic Fault Diagnosis in Discrete Event Systems by Labeled Petri Nets and Basis Markings
    Zhu, Guanghui
    Zhang, Jiafeng
    Zheng, Zhong
    Luan, Shan
    Chen, Te
    Ma, Qiang
    Li, Zhiwu
    [J]. INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2022, 20 (06) : 1891 - 1903
  • [10] Fault diagnosis and identification of discrete event systems using Petri nets
    Fanti, Maria Pia
    Seatzu, Carla
    [J]. WODES' 08: PROCEEDINGS OF THE 9TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, 2008, : 432 - +
12345