Transforming Time Petri Nets into Heterogeneous Petri Nets for Hybrid System Monitoring

被引：0
|
作者：
Hatte, Leonie [1 ]
Ribot, Pauline [1 ]
Chanthery, Elodie [1 ]
机构：
[1] Univ Toulouse, LAAS CNRS, INSA, UPS, Toulouse, France
来源：
IFAC PAPERSONLINE | 2024年 / 58卷 / 04期
关键词：
Time Petri Nets; Diagnosis; Prognosis; Hybrid Systems; Health monitoring;
D O I：
10.1016/j.ifacol.2024.07.292
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Increasing industrial system complexity challenges maintenance and health monitoring, that involves both diagnosis and prognosis tasks. While formalisms like Time Petri Nets (TPN) simplify the explicit expression of temporal uncertainties, Heterogeneous Petri Nets (HtPN) offer a formalism for hybrid system health monitoring that lacks explicit time representation. This article demonstrates HtPN's ability to explicitly represent temporal information. Key contributions include a lossless transformation from a subclass of the TPN to a subclass of the HtPN and the provision of a Python code for conversion. This transformation enables simulation, diagnosis, and prognosis with explicit time representation. Copyright (c) 2024 The Authors.
引用
收藏
页码：646 / 651
页数：6
相关论文
共 50 条
  • [41] Modeling Hybrid Systems with Petri Nets
    Bera, Debjyoti
    van Hee, Kees
    Nijmeijer, Henk
    SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS, SIMULTECH 2014, 2015, 402 : 17 - 42
  • [42] On Hybrid Systems Modeling with Petri Nets
    Mircea, Drighiciu
    Gheorghe, Manolea
    Anca, Petrisor
    Marius, Popescu
    PROCEEDINGS OF THE 7TH WSEAS INTERNATIONAL CONFERENCE ON SYSTEM SCIENCE AND SIMULATION IN ENGINEERING (ICOSSSE '08): RECENT ADVANCES IN SYSTEMS SCIENCE AND SIMULATION IN ENGINEERING, 2008, : 73 - +
  • [43] Using colored Petri nets to simulate object Petri nets
    Corchado, FFR
    Gallegos, FZ
    Jiménez, AA
    Dávila, HIP
    International Conference on Computing, Communications and Control Technologies, Vol 5, Proceedings, 2004, : 27 - 31
  • [44] Modelling foundation based on Queueing Petri Nets and Hybrid Nets
    Boicescu, Laurentiu
    Gheorghica, Daniel
    Croitoru, Victor
    2014 10TH INTERNATIONAL CONFERENCE ON COMMUNICATIONS (COMM), 2014,
  • [45] Combining hybrid Petri nets and hybrid automata
    Sava, AT
    Alla, H
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05): : 670 - 678
  • [46] Fault diagnosis for Time Petri Nets
    Jiroveanu, George
    Boel, Rene K.
    De Schutter, Bart
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 313 - +
  • [47] Identification of labeled Time Petri nets
    Basile, Francesco
    Chiacchio, Pasquale
    Coppola, Jolanda
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 478 - 485
  • [48] Testing Equivalences of Time Petri Nets
    E. N. Bozhenkova
    I. B. Virbitskaite
    Programming and Computer Software, 2020, 46 : 251 - 260
  • [49] Interval analysis of time Petri nets
    Lima, Evangivaldo A.
    Luders, Ricardo
    Kunzle, Luis Allan
    2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 51 - 58
  • [50] Minimization algorithms for time Petri nets
    Pólrola, A
    Penczek, W
    FUNDAMENTA INFORMATICAE, 2004, 60 (1-4) : 307 - 331
12345