Differential Petri nets: Representing continuous systems in a discrete-event world

被引：75
|
作者：
Demongodin, I
Koussoulas, NT
机构：
[1] Ecole Mines Nantes, Dept Automat Control & Prod Syst, F-44307 Nantes 03, France
[2] Univ Patras, Lab Automat & Robot, Dept Elect & Comp Engn, Patras 23500, Greece
来源：
IEEE TRANSACTIONS ON AUTOMATIC CONTROL | 1998年 / 43卷 / 04期
关键词：
differential Petri nets; discrete-event dynamic systems; hybrid systems; Petri nets; supervisory control systems;
D O I：
10.1109/9.665073
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Differential Petri nets are a new extension of Petri nets. Through the introduction of the differential place, the differential transition, and suitable evolution rules, it is possible to model concurrently discrete-event processes and continuous-time dynamic processes, represented by systems of linear ordinary differential equations, This model can contribute to the performance analysis and design of industrial supervisory control systems and of hybrid control systems in general.
引用
收藏
页码：573 / 579
页数：7
相关论文
共 50 条
  • [31] On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled petri nets
    Sreenivas, RS
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1997, 42 (07) : 928 - 945
  • [32] Relaxed continuous views of discrete event systems:: considerations on Forrester Diagrams and Petri nets
    Jiménez, E
    Júlvez, J
    Recalde, L
    Silva, M
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 4897 - 4904
  • [33] DECENTRALIZED STRUCTURAL CONTROLLER DESIGN FOR LARGE-SCALE DISCRETE-EVENT SYSTEMS MODELLED BY PETRI NETS
    Aybar, Aydin
    Iftar, Altug
    KYBERNETIKA, 2009, 45 (01) : 3 - 14
  • [34] Critical Observability of Discrete-Event Systems in a Petri Net Framework
    Cong, Xuya
    Fanti, Maria Pia
    Mangini, Agostino Marcello
    Li, Zhiwu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (05): : 2789 - 2799
  • [35] Strong Current-State Opacity Verification of Discrete-Event Systems Modeled With Time Labeled Petri Nets
    Tao Qin
    Li Yin
    Gaiyun Liu
    Naiqi Wu
    Zhiwu Li
    IEEE/CAA Journal of Automatica Sinica, 2025, 12 (01) : 54 - 68
  • [36] Strong Current-State Opacity Verification of Discrete-Event Systems Modeled with Time Labeled Petri Nets
    Qin, Tao
    Yin, Li
    Liu, Gaiyun
    Wu, Naiqi
    Li, Zhiwu
    IEEE-CAA JOURNAL OF AUTOMATICA SINICA, 2025, 12 (01) : 54 - 68
  • [37] A systematic approach to the synthesis of Petri-nets simulation models (and adjoint experimental frames) of discrete-event systems
    Kerckhoffs, EJH
    Bobeanu, CV
    SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 66 - 73
  • [38] New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets
    Kucera, Erik
    Haffner, Oto
    Drahos, Peter
    Ciganek, Jan
    Leskovsky, Roman
    Stefanovic, Juraj
    APPLIED SCIENCES-BASEL, 2020, 10 (15):
  • [39] MODELING AND OPTIMAL-CONTROL OF DISCRETE-EVENT CHEMICAL PROCESSES USING PETRI NETS
    YAMALIDOU, EC
    KANTOR, JC
    COMPUTERS & CHEMICAL ENGINEERING, 1991, 15 (07) : 503 - 519
  • [40] Control of discrete event systems modelled by continuous Petri nets - Case of opened manufacturing lines
    Amrah, A
    Zerhouni, N
    ElMoudni, A
    1997 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION - PROCEEDINGS, VOLS 1-4, 1997, : 2133 - 2138
12345