Supervisory Control of Manufacturing Systems Modeled by Timed Petri Nets

被引：4
|
作者：
Iftar, Altug [1 ]
机构：
[1] Anadolu Univ, Dept Elect & Elect Engn, TR-26470 Eskisehir, Turkey
来源：
IFAC PAPERSONLINE | 2016年 / 49卷 / 31期
关键词：
Manufacturing systems; Petri nets; time-delays; supervisory control; stretching; DISCRETE-EVENT SYSTEMS; DEADLOCK PREVENTION; DESIGN; LIVENESS; ENFORCE; AVOIDANCE;
D O I：
10.1016/j.ifacol.2016.12.172
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Petri nets is a common formalism to model many manufacturing systems. Although Petri nets were originally introduced without the notion of time, time-delays in many processes in manufacturing systems makes it necessary to use this notion in Petri nets. Petri nets, in which the time-delays are also modeled are commonly reffered to as timed Petri nets (TPNs). The representation of the state of any system is necessary in order to simulate the system or to design a controller for it. The representation of the state of a TPN, however, is complicated. One method to overcomne this difficulty is stretching. In this paper, the method of stretching is introduced for TPNs where both transitions and places are timed. Supervisory controller design for TPNs using stretching is then discussed. (C) 2016 IFAC (Internantional federation of Automatic Control ) Hosting by Elsevier Ltd. All rights reserved.
引用
收藏
页码：120 / 124
页数：5
相关论文
共 50 条
  • [1] Supervisory Control of Discrete-event Systems Modeled by Timed-arc Petri Nets
    Aybar, Aydin
    Iftar, Altug
    [J]. 2020 EUROPEAN CONTROL CONFERENCE (ECC 2020), 2020, : 656 - 661
  • [2] Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
    Xenofon D. Koutsoukos
    Kevin X. He
    Michael D. Lemmon
    Panos J. Antsaklis
    [J]. Discrete Event Dynamic Systems, 1998, 8 : 137 - 173
  • [3] Timed Petri nets in hybrid systems: Stability and supervisory control
    Koutsoukos, XD
    He, KX
    Lemmon, MD
    Antsaklis, PJ
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02): : 137 - 173
  • [4] Supervisory Controller Optimization for Deadlock Resolution in Automated Manufacturing Systems With Timed Petri Nets
    Hu, Hesuan
    Zhou, Mengchu
    Li, Zhiwu
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2009, : 85 - 90
  • [5] Optimization of manufacturing systems modelled by timed Petri nets
    Di Febbraro, A
    Giglio, D
    Minciardi, R
    Sacone, S
    [J]. WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 361 - 367
  • [6] Supervisory controller design for timed Petri Nets
    Aybar, Aydin
    Iftar, Altug
    [J]. PROCEEDINGS OF THE 2006 IEEE/SMC INTERNATIONAL CONFERENCE ON SYSTEM OF SYSTEMS ENGINEERING, 2006, : 59 - +
  • [7] Hybrid control systems using timed Petri nets: supervisory control design based on invariant properties
    Koutsoukos, XD
    Antsaklis, PJ
    [J]. HYBRID SYSTEMS V, 1999, 1567 : 142 - 162
  • [8] Fault-tolerant supervisory control of discrete event systems modeled by bounded Petri nets
    Ru, Yu
    Hadjicostis, Christoforos N.
    [J]. 2007 AMERICAN CONTROL CONFERENCE, VOLS 1-13, 2007, : 828 - 833
  • [9] Robust Supervisory Control for Cyber-Physical Systems based on Discrete Timed Petri nets
    Hsieh, Fu-Shiung
    [J]. 2022 IEEE 12TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE (CCWC), 2022, : 1 - 6
  • [10] Modelling reconfigurable manufacturing systems with coloured timed Petri nets
    Zhang, Lianfeng
    Rodrigues, Brian
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2009, 47 (16) : 4569 - 4591
12345