Modelling of Automated Storage Systems Using Hierarchical Coloured Petri nets

被引：0
|
作者：
Kucera, Erik [1 ]
Hruz, Branislav [1 ]
机构：
[1] Slovak Univ Technol Bratislava, Fac Elect Engn & Informat Technol, Bratislava, Slovakia
来源：
2014 15TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE (ICCC) | 2014年
关键词：
Petri net; colour; hierarchical; CPN; storage; system; AS/RS; cybernetics; informatics; warehouse; model; modelling;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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 storage systems. 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 Coloured Petri net in CPN Tools software. We also discuss the possible application of the model and modelling method in practice.
引用
收藏
页码：285 / 290
页数：6
相关论文
共 50 条
  • [1] Modelling of AS/RS Using Hierarchical and Timed Coloured Petri nets
    Kucera, Erik
    Hruz, Branislav
    [J]. 2014 23RD INTERNATIONAL CONFERENCE ON ROBOTICS IN ALPE-ADRIA-DANUBE REGION (RAAD), 2014,
  • [2] Modelling Assistive Technology Systems Using Coloured Petri Nets
    Gilligan, John
    Smith, Peter
    [J]. ASSISTIVE TECHNOLOGY FROM ADAPTED EQUIPMENT TO INCLUSIVE ENVIRONMENTS, 2009, 25 : 754 - 758
  • [3] 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
  • [4] Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
    Kristensen, Lars Michael
    Jensen, Kurt
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY I, 2008, 5100 : 19 - 34
  • [5] Modelling and evaluation of QCN using coloured petri nets
    Mliki, Hela
    Chaari, Lamia
    Kamoun, Lotfi
    [J]. PEER-TO-PEER NETWORKING AND APPLICATIONS, 2018, 11 (03) : 486 - 503
  • [6] Modelling and Control of AS/RS Using Coloured Petri Nets
    Kucera, Erik
    Haffner, Oto
    Kozak, Stefan
    [J]. 2016 CYBERNETICS & INFORMATICS (K&I), 2016,
  • [7] Modelling and evaluation of QCN using coloured petri nets
    Hela Mliki
    Lamia Chaari
    Lotfi Kamoun
    [J]. Peer-to-Peer Networking and Applications, 2018, 11 : 486 - 503
  • [8] Modelling of CVBF Algorithm using Coloured Petri Nets
    Ibrahim, Dina M.
    Sallam, Elsayed A.
    Eltobely, Tarek E.
    Fahmy, Mahmoud M.
    [J]. 2014 9TH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2014, : 26 - 31
  • [9] Modelling communication systems in a resource allocation process using coloured Petri nets
    Janczura, C
    Coat, L
    [J]. 1998 SECOND INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED INTELLIGENT ELECTRONIC SYSTEMS, KES '98, PROCEEDINGS, VOL, 3, 1998, : 23 - 27
  • [10] Modelling and simulating reaction-diffusion systems using coloured Petri nets
    Liu, Fei
    Blaetke, Mary-Ann
    Heiner, Monika
    Yang, Ming
    [J]. COMPUTERS IN BIOLOGY AND MEDICINE, 2014, 53 : 297 - 308
12345