Modelling of AS/RS Using Hierarchical and Timed Coloured Petri nets

被引：0
|
作者：
Kucera, Erik [1 ]
Hruz, Branislav [1 ]
机构：
[1] Slovak Tech Univ, Fac Elect Engn & Informat Technol, Bratislava, Slovakia
来源：
2014 23RD INTERNATIONAL CONFERENCE ON ROBOTICS IN ALPE-ADRIA-DANUBE REGION (RAAD) | 2014年
关键词：
Petri net; colour; hierarchical; CPN; storage; system; AS/RS; robotics; informatics; warehouse; model; modelling;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Presently, discrete-event dynamic systems represent a significant group of varied systems e.g. computer networks, manufacturing systems, communication systems, database systems etc. An important class of discrete-event systems are automated storage and retrieval systems (AS/RS). These systems are equipped by robots and other automation technology. The article deals with Hierarchical Coloured Petri nets applied in modelling of these systems. Main results of the article include brief description of the method and hierarchical model of storage system implemented by Hierarchical and Timed Coloured Petri net in CPN Tools software. We also discuss the possible application of the model and modelling method in practice.
引用
收藏
页数：8
相关论文
共 50 条
  • [1] Modelling and Control of AS/RS Using Coloured Petri Nets
    Kucera, Erik
    Haffner, Oto
    Kozak, Stefan
    [J]. 2016 CYBERNETICS & INFORMATICS (K&I), 2016,
  • [2] Modelling and analysis of air traffic control systems using hierarchical timed coloured Petri nets
    Huang, Yi-Sheng
    Chung, Ta-Hsiang
    [J]. TRANSACTIONS OF THE INSTITUTE OF MEASUREMENT AND CONTROL, 2011, 33 (01) : 30 - 49
  • [3] Using timed and coloured Petri nets for modelling, simulation, and analysis of integration solutions
    Freddo, Francine
    Sawicki, Sandro
    Frantz, Rafael Z.
    Roos-Frantz, Fabricia
    [J]. International Journal of Web Engineering and Technology, 2019, 14 (03): : 231 - 254
  • [4] Modelling reconfigurable manufacturing systems with coloured timed Petri nets
    Zhang, Lianfeng
    Rodrigues, Brian
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2009, 47 (16) : 4569 - 4591
  • [5] Timed coloured petri nets for modelling and managing processes and projects
    Bevilacqua, Maurizio
    Ciarapica, Filippo Emanuele
    Giovanni, Mazzuto
    [J]. 11TH CIRP CONFERENCE ON INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING, 2018, 67 : 58 - 62
  • [6] Modelling of Automated Storage Systems Using Hierarchical Coloured Petri nets
    Kucera, Erik
    Hruz, Branislav
    [J]. 2014 15TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE (ICCC), 2014, : 285 - 290
  • [7] Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies
    Hasiba Ben Attia
    Laid Kahloul
    Saber Benhazrallah
    Samir Bourekkache
    [J]. International Journal of Information Security, 2020, 19 : 163 - 187
  • [8] Supply chain modelling and managing, using timed coloured Petri nets: a case study
    Mazzuto, Giovanni
    Bevilacqua, Maurizio
    Ciarapica, Filippo Emanuele
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2012, 50 (16) : 4718 - 4733
  • [9] Identification of detailed behaviour of Flexible Manufacturing Cell using Hierarchical Timed Coloured Petri Nets
    Saren, Sanjib Kumar
    Blaga, Florin
    Vesselenyi, Tiberiu
    [J]. MODERN TECHNOLOGIES IN MANUFACTURING (MTEM 2017 - AMATUC), 2017, 137
  • [10] Correction to: Using Hierarchical Timed Coloured Petri Nets in the formal study of TRBAC security policies
    Hasiba Ben Attia
    Laid Kahloul
    Saber Benharzallah
    Samir Bourekkache
    [J]. International Journal of Information Security, 2020, 19 : 241 - 241
12345