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 条
  • [1] Transforming XPDL to Petri nets
    Zha, Haiping
    Yang, Yun
    Wang, Jianmin
    Wen, Lijie
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2008, 4928 : 197 - +
  • [2] Transforming BPEL to Petri nets
    Hinz, S
    Schmidt, K
    Stahl, C
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2005, 3649 : 220 - 235
  • [3] On hybrid Petri nets
    David, R
    Alla, H
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2001, 11 (1-2): : 9 - 40
  • [4] On Hybrid Petri Nets
    René David
    Hassane Alla
    Discrete Event Dynamic Systems, 2001, 11 : 9 - 40
  • [5] Petri Nets with Time Windows: A Comparison to Classical Petri Nets
    Wegener, Jan-Thierry
    Popova-Zeugmann, Louchka
    FUNDAMENTA INFORMATICAE, 2009, 93 (1-3) : 337 - 352
  • [6] Development time hybrid Petri nets for optimization and control of hybrid system
    Liao, WZ
    Gu, TL
    Wang, RL
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES A-MATHEMATICAL ANALYSIS, 2006, 13 : 1479 - 1487
  • [7] Continuous and hybrid Petri nets
    Alla, H
    David, R
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 1998, 8 (01) : 159 - 188
  • [8] Modeling a Heterogeneous Embedded System in Coloured Petri Nets
    Zhang, Huafeng
    Zhang, Hehua
    Gu, Ming
    Sun, Jiaguang
    JOURNAL OF APPLIED MATHEMATICS, 2014,
  • [9] SYSTEM MODELING BY MEANS OF TIME PETRI NETS
    POPOVSKY, O
    EKONOMICKO-MATEMATICKY OBZOR, 1986, 22 (01): : 88 - 98
  • [10] On the composition of time Petri nets
    Peres, Florent
    Berthomieu, Bernard
    Vernadat, Francois
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2011, 21 (03): : 395 - 424