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 条
  • [21] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297
  • [22] Separation of control and data flow in high-level Petri nets: Transforming Dual Flow Nets into Object Petri Nets
    Farwer, Berndt
    Varea, Mauricio
    FUNDAMENTA INFORMATICAE, 2006, 72 (1-3) : 123 - 137
  • [23] Time processes for time Petri nets
    Aura, T
    Lilius, J
    APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 136 - 155
  • [24] PETRI NETS
    PETERSON, JL
    COMPUTING SURVEYS, 1977, 9 (03) : 223 - 252
  • [25] Stochastic Petri nets model of hybrid dynamical system
    Li, ZW
    Zeng, JC
    PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 359 - 362
  • [26] Hybrid modeling of control system based on hybrid Petri nets
    Dong Ling-xun
    Dou Li-hua
    Yang Hong-ju
    Liu Hang
    2007 IEEE INTERNATIONAL CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1-7, 2007, : 254 - 258
  • [27] Approach for Transforming Linear Constraints on Petri Nets
    Luo, Jiliang
    Nonami, Kenzo
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2011, 56 (12) : 2745 - 2759
  • [28] Hybrid modeling of power system using hybrid Petri nets
    Paruchuri, VK
    Davari, A
    Feliachi, A
    PROCEEDINGS OF THE THIRTY-SEVENTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2005, : 221 - 224
  • [29] Transforming Communicating Sequential Processes to Petri Nets
    Llorens, M.
    Oliver, J.
    Silva, J.
    Tamarit, S.
    PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON ENGINEERING COMPUTATIONAL TECHNOLOGY, 2010, 94
  • [30] PETRI NETS
    ROZENBLYUM, LY
    ENGINEERING CYBERNETICS, 1983, 21 (05): : 19 - 43
12345