Modelling the production systems in industry 4.0 and their availability with high-level Petri nets

被引：22
|
作者：
Long, F. [1 ,2 ]
Zeiler, P. [2 ]
Bertsche, B. [2 ]
机构：
[1] Univ Stuttgart, Grad Sch Excellence Adv Mfg Engn, Stuttgart, Germany
[2] Univ Stuttgart, Inst Machine Components, Stuttgart, Germany
来源：
IFAC PAPERSONLINE | 2016年 / 49卷 / 12期
关键词：
availability; production system; Petri net; ECSPN; industry; 4.0; interaction; self-organisation;
D O I：
10.1016/j.ifacol.2016.07.565
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
industry 4.0 offers a new possibility to achieve a flexible and efficient production. Special features in industry 4.0 bring new challenges and have not been considered in the modelling yet. In this paper, extended coloured stochastic Petri nets (ECSPN) are used for modelling the production systems in industry 4.0 and their availability, in order to support the analysis and optimization of availability as well as of the supporting resources. Three models of ECSPN are built and simulated using a software REALIST to model interactions and self-organisation. Finally, the modelling results are explained. (C) 2016, IFAC (Informational rederation of Automatic Control) Hosting Elsevier Ltd. All rights reserved.
引用
收藏
页码：145 / 150
页数：6
相关论文
共 50 条
  • [1] 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
  • [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] Advanced Techniques for Modelling of AS/RS Systems in Automotive Industry Using High-level Petri Nets
    Kucera, Erik
    Niznanska, Miriama
    Kozak, Stefan
    2015 16TH INTERNATIONAL CARPATHIAN CONTROL CONFERENCE (ICCC), 2015, : 261 - 266
  • [4] PUTTING HIGH-LEVEL PETRI NETS TO WORK IN INDUSTRY
    VANDERAALST, WMP
    COMPUTERS IN INDUSTRY, 1994, 25 (01) : 45 - 54
  • [5] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [6] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
  • [7] Object-oriented modelling with high-level modular Petri nets
    Thanh, CB
    Klaudel, H
    INTEGRATED FORMAL METHODS, PROCEEDINGS, 2004, 2999 : 287 - 306
  • [8] Verification of distributed systems modelled by high-level Petri nets
    Kozura, VE
    Nepomniaschy, VA
    Novikov, RM
    PAR ELEC 2002: INTERNATIONAL CONFERENCE ON PARALLEL COMPUTING IN ELECTRICAL ENGINEERING, 2002, : 61 - 66
  • [9] Design of intelligent mechatronical systems with high-level Petri nets
    Koch, M
    Rust, C
    Kleinjohann, B
    PROCEEDINGS OF THE 2003 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS (AIM 2003), VOLS 1 AND 2, 2003, : 217 - 222
  • [10] 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
12345