Simulation of the continuous dynamics of batch control systems based on Petri nets

被引：0
|
作者：
Barros, TC [1 ]
Perkusich, A [1 ]
机构：
[1] Univ Fed Pernambuco, Dept Eletron & Sistemas, BR-50711970 Recife, PE, Brazil
来源：
1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5 | 1998年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper discusses how to apply P-timed Place/Transition Petri nets to simulate the continuous dynamic of batch production systems (BPS). Such systems can be seen as a hybrid system since the automation of batch production considers discrete and continuous models. An algorithm to simulate verify the capacity of storage elements in a BPS in a given time interval is introduced. Also, an extension of the introduced algorithm in order to verify overflows is presented.
引用
收藏
页码：680 / 685
页数：6
相关论文
共 50 条
  • [21] Formal modelling and simulation of train control systems using Petri nets
    Hörste, MMZ
    Schnieder, E
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1867 - 1867
  • [22] Simulation and analysis of discrete-event control systems based on Petri nets using PNetLab
    Basile, Francesco
    Carbone, Ciro
    Chiacchio, Pasquale
    CONTROL ENGINEERING PRACTICE, 2007, 15 (02) : 241 - 259
  • [23] Continuous petri nets: Expresiveness, analysis and control of a class of switched linear systems
    Silva, M.
    Recalde, L.
    RIAI - Revista Iberoamericana de Automatica e Informatica Industrial, 2007, 4 (03): : 5 - 33
  • [24] A technique for designing robotic control systems based on Petri nets
    Caloini, A
    Magnani, G
    Pezze, M
    IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, 1998, 6 (01) : 72 - 87
  • [25] Continuous Petri nets: Expresiveness, analysis and control of a class of switched linear systems
    Silva, M.
    Recalde, L.
    REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL, 2007, 4 (03): : 5 - +
  • [26] Petri nets for simulation and modeling of construction systems
    Wakefield, RR
    Sears, GA
    JOURNAL OF CONSTRUCTION ENGINEERING AND MANAGEMENT-ASCE, 1997, 123 (02): : 105 - 112
  • [27] Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search
    Zhou, Jiazhong
    Luo, Jiliang
    Lefebvre, Dimitri
    Li, Zhiwu
    IEEE ACCESS, 2020, 8 : 163458 - 163471
  • [28] A Composable Modeling Approach of HLA Simulation Systems based on Petri Nets
    Peng, Yong
    Yang, Mei
    Gong, J. X.
    Huang, K. D.
    7TH INTERNATIONAL CONFERENCE ON SYSTEM SIMULATION AND SCIENTIFIC COMPUTING ASIA SIMULATION CONFERENCE 2008, VOLS 1-3, 2008, : 274 - 280
  • [29] Model and control holonic manufacturing systems based on fusion of contract nets and Petri nets
    Hsieh, FS
    AUTOMATICA, 2004, 40 (01) : 51 - 57
  • [30] Continuous improvement in production systems of Modeling with Petri nets
    Morales-Varela, Alberto
    Rojas-Ramirez, Jorge
    Hernandez-Gomez, Luis-Hector
    Morales-Gozalez, Angel
    Hernandez-Simon, Luis-Manuel
    Jimenez-Reyes, Mara-Yanet
    DYNA, 2015, 90 (01): : 19 - 19
12345