Advanced Techniques for Modelling of AS/RS Systems in Automotive Industry Using High-level Petri Nets

被引：0
|
作者：
Kucera, Erik [1 ]
Niznanska, Miriama [1 ]
Kozak, Stefan [1 ]
机构：
[1] Slovak Univ Technol Bratislava, Fac Elect Engn & Informat Technol, Bratislava, Slovakia
来源：
2015 16TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE (ICCC) | 2015年
关键词：
Petri net; colour; high-level; CPN; storage; system; AS/RS;
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 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 High-level Petri nets applied in modelling of these systems. Main results of the paper include brief description of the method and model of storage system implemented by Coloured Petri nets expressed by different formalisms in two software tools. We also discuss the possible application of the model and modelling method in practice and for system control purposes.
引用
收藏
页码：261 / 266
页数：6
相关论文
共 50 条
  • [1] Modelling the production systems in industry 4.0 and their availability with high-level Petri nets
    Long, F.
    Zeiler, P.
    Bertsche, B.
    IFAC PAPERSONLINE, 2016, 49 (12): : 145 - 150
  • [2] Modelling mobility in high-level Petri nets
    Devillers, Raymond
    Klaudel, Hanna
    Koutny, Maciej
    SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 110 - +
  • [3] Modelling the flexibility of production systems in Industry 4.0 for analysing their productivity and availability with high-level Petri nets
    Long, F.
    Zeiler, P.
    Bertsche, B.
    IFAC PAPERSONLINE, 2017, 50 (01): : 5680 - 5687
  • [4] Modelling data transformation processes using high-level Petri nets
    Peng, Li
    ICEIS 2007: PROCEEDINGS OF THE NINTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2007, : 533 - 536
  • [5] PUTTING HIGH-LEVEL PETRI NETS TO WORK IN INDUSTRY
    VANDERAALST, WMP
    COMPUTERS IN INDUSTRY, 1994, 25 (01) : 45 - 54
  • [6] Modelling and Analyzing home care plans using High-Level Petri Nets
    Barkaoui, Kamel
    Hicheur, Awatef
    Kheldoun, Ahmed
    Liu, Ding
    2016 13TH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS (WODES), 2016, : 284 - 290
  • [7] Fuzzy rule base systems verification using high-level Petri nets
    Yang, SJH
    Tsai, JJP
    Chen, CC
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2003, 15 (02) : 457 - 473
  • [8] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [9] Autonomic Patterns: Modelling Data Killing Patterns using High-Level Petri Nets
    Pinheiro, Wallace A.
    Xexeo, Geraldo
    de Souza, Jano M.
    FOURTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS (ICAS 2008), 2008, : 198 - 203
  • [10] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
12345