Program solution of supervisory control based on Petri nets

被引：0
|
作者：
Flochová, J [1 ]
Hrúz, B [1 ]
Jirsák, P [1 ]
机构：
[1] Slovak Univ Technol Bratislava, Fac Elect Engn & Informat Technol, Automat Control Syst Dept, Bratislava 81219, Slovakia
来源：
NEW TRENDS IN DESIGN OF CONTROL SYSTEMS 1997 | 1998年
关键词：
discrete event dynamic systems; supervisory control; Petri-nets; reachability; reachable states; computer control system design; computer testing; programs; program controllers;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper describes methods based on Petri nets analysis techniques for constructing a supervisory controller of discrete event dynamic systems. Two methods (method based on reachability tree analysis and on-line method based on matrix equations) have been designed. Programs in C++ have been written to solve supervisory control problem and real time control of a discrete event dynamic system.
引用
收藏
页码：323 / 327
页数：5
相关论文
共 50 条
  • [11] An integrated approach for supervisory control of a subclass of Petri nets
    Chao, Daniel Y.
    Wu, Kuo-Chiang
    TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2013, 35 (02) : 117 - 130
  • [12] On the choice of suboptimal monitors for supervisory control of Petri nets
    Basile, F
    Chiacchio, P
    Giua, A
    1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 752 - 757
  • [13] Supervisory control of discrete event systems based on structure theory of Petri nets
    Barkaoui, K
    Chaoui, A
    Zouari, B
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 3750 - 3755
  • [14] A program for analysis and control of Petri nets
    Apaydin, H
    Manay, A
    Aybar, A
    Iftar, A
    ICCC 2004: SECOND IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL CYBERNETICS, PROCEEDINGS, 2004, : 309 - 314
  • [15] Supervisory control of deterministic Petri nets with regular specification languages
    Kumar, R
    Holloway, LE
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1996, 41 (02) : 245 - 249
  • [16] Timed Petri nets in hybrid systems: Stability and supervisory control
    Koutsoukos, XD
    He, KX
    Lemmon, MD
    Antsaklis, PJ
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02): : 137 - 173
  • [17] Diagnosability enforcement in labeled Petri nets using supervisory control
    Hu, Yihui
    Ma, Ziyue
    Li, Zhiwu
    Giua, Alessandro
    AUTOMATICA, 2021, 131
  • [18] Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
    Basile, Francesco
    De Tommasi, Gianmaria
    Sterle, Claudio
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (08) : 3653 - 3666
  • [19] Supervisory Control of Manufacturing Systems Modeled by Timed Petri Nets
    Iftar, Altug
    IFAC PAPERSONLINE, 2016, 49 (31): : 120 - 124
  • [20] Supervisory control of time Petri nets using net unfolding
    Buy, U
    Darabi, H
    Lehene, M
    Venepally, V
    Proceedings of the 29th Annual International Computer Software and Applications Conference, Workshops and Fast Abstracts, 2005, : 97 - 100
12345