Modelling and Control of AS/RS Using Coloured Petri Nets

被引:2
|
作者
Kucera, Erik [1 ]
Haffner, Oto [1 ]
Kozak, Stefan [1 ]
机构
[1] Slovak Univ Technol Bratislava, Fac Elect Engn & Informat Technol, Bratislava, Slovakia
关键词
Petri net; colour; modelling; CPN; storage; system; AS/RS;
D O I
10.1109/CYBERI.2016.7438532
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
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 automated storage and retrieval systems (AS/RS). There is a big demand for new modelling and control methods of these systems in automotive industry in Slovakia. These systems are equipped by robots and other automation technology. The paper deals with Coloured Petri nets applied in modelling and control of these systems. Main results of the paper include brief description of the method and model of storage system implemented by Coloured Petri nets in PNetLab software tool. We also discuss the possible application of the model and modelling method in practice and for system control purposes.
引用
收藏
页数:6
相关论文
共 50 条
  • [21] Modelling and analysing the Contract Net Protocol - extension using Coloured Petri Nets
    Billington, Jonathan
    Gupta, Amar Kumar
    Callasch, Guy Edward
    FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2008, 2008, 5048 : 169 - 184
  • [22] Modelling communication systems in a resource allocation process using coloured Petri nets
    Janczura, C
    Coat, L
    1998 SECOND INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED INTELLIGENT ELECTRONIC SYSTEMS, KES '98, PROCEEDINGS, VOL, 3, 1998, : 23 - 27
  • [23] Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets
    Hu, Xiang
    Jiao, Li
    Li, Zhijia
    COMPUTER JOURNAL, 2016, 59 (10): : 1563 - 1580
  • [25] Modelling and simulating reaction-diffusion systems using coloured Petri nets
    Liu, Fei
    Blaetke, Mary-Ann
    Heiner, Monika
    Yang, Ming
    COMPUTERS IN BIOLOGY AND MEDICINE, 2014, 53 : 297 - 308
  • [26] Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets
    Alberto Rojas-Gallardo, Carlos
    Cano, Ruth
    Isidro Garcia-Melo, Jose
    REVISTA FACULTAD DE INGENIERIA-UNIVERSIDAD DE ANTIOQUIA, 2019, (91): : 83 - 94
  • [27] Modelling flexible manufacturing systems using weighted Fuzzy Coloured Petri Nets
    Yeung, DS
    Shiu, SCK
    Tsang, ECC
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 1999, 7 (02) : 137 - 149
  • [28] Modeling control systems with coloured Petri nets using global variables
    Baranauskas, Virginijus
    Bartkevicius, Stanislovas
    Kragnys, Ricardas
    Sarkauskas, Kastytis
    ELECTRICAL AND CONTROL TECHNOLOGIES, PROCEEDINGS, 2006, : 306 - 309
  • [29] Performance analysis using coloured Petri nets
    Wells, L
    MASCOTS 2002: 10TH IEEE INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATIONS SYSTEMS, PROCEEDINGS, 2002, : 217 - 221
  • [30] From Coloured Petri Nets to Object Petri Nets
    Lakos, C
    APPLICATION AND THEORY OF PETRI NETS 1995, 1995, 935 : 278 - 297