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 条
  • [41] Supervisory control for synchronized and colored Petri nets under static and dynamic constraints
    Godon, A
    Ferrier, JL
    MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS, VOL 1 AND 2, 1998, : 207 - 213
  • [42] Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness
    Stremersch, G
    Boel, RK
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (09) : 1490 - 1496
  • [43] Hybrid petri nets of scheduling and supervisory control integrated system in process industry
    Wu, YL
    Liu, D
    Zeng, JC
    PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 1008 - 1013
  • [44] Supervisory control of Petri nets using routing functions: Starvation avoidance issues
    Alpan, G
    Gaujal, B
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2000, 30 (05): : 684 - 695
  • [45] Computationally Improved Optimal Supervisory Control Policy for FMSs Using Petri Nets
    Pan, Yen-Liang
    Yang, Cheng-Chung
    Jeng, Mu-Der
    Liao, Wei-Hsiang
    PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON INTELLIGENT TECHNOLOGIES AND ENGINEERING SYSTEMS (ICITES2013), 2014, 293 : 367 - 373
  • [46] An application of Petri nets to supervisory control for human-computer interactive systems
    Lee, JS
    Zhou, MC
    Hsu, PL
    IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, 2005, 52 (05) : 1220 - 1226
  • [47] LTL-Based Decentralized Supervisory Control of Multi-Robot Tasks Modelled as Petri Nets
    Lacerda, Bruno
    Lima, Pedro U.
    2011 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, 2011, : 3081 - 3086
  • [48] An Enhanced Supervisory Control Strategy for Periodicity Mutual Exclusions in Discrete Event Systems Based on Petri Nets
    Jiang, Zhongyuan
    Wang, Huan
    Chen, Xiaoliang
    Tang, Mingwei
    Ye, Jianhong
    DISCRETE DYNAMICS IN NATURE AND SOCIETY, 2017, 2017
  • [49] A Petri net based supervisory control implementation
    Flochová, J
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 1039 - 1044
  • [50] Solution of the manufacturing transport control using Petri nets
    Hrúz, B
    2003 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOLS 1-5, CONFERENCE PROCEEDINGS, 2003, : 4736 - 4741
12345