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 条
  • [31] 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
  • [32] 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
  • [33] Availability analysis and maintainability optimization of an offshore wind farm using high-level Petri nets
    Mueller, Frank
    Bertsche, Bernd
    FORSCHUNG IM INGENIEURWESEN-ENGINEERING RESEARCH, 2021, 85 (02): : 639 - 648
  • [34] Weak and strong composition of high-level Petri nets
    Best, E
    Lavrov, A
    CONCUR'99: CONCURRENCY THEORY, 1999, 1664 : 194 - 209
  • [35] Comparative study and categorization of high-level petri nets
    Gerogiannis, VC
    Kameas, AD
    Pintelas, PE
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 43 (02) : 133 - 160
  • [36] TOWARDS REACHABILITY TREES FOR HIGH-LEVEL PETRI NETS
    HUBER, P
    JENSEN, AM
    JEPSEN, LO
    JENSEN, K
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 215 - 223
  • [37] Modeling Dynamic Systems with High-Level Petri Nets with Object-Orientation
    Brezovan, Marius
    Liana, Stanescu
    PROCEEDINGS OF THE 2016 INTERNATIONAL SYMPOSIUM ON INNOVATIONS IN INTELLIGENT SYSTEMS AND APPLICATIONS (INISTA), 2016,
  • [38] Development of an international standard for high-level Petri nets
    Billington, J
    THIRD IEEE INTERNATIONAL SOFTWARE ENGINEERING STANDARDS SYMPOSIUM AND FORUM (ISESS 97) - EMERGING INTERNATIONAL STANDARDS, PROCEEDINGS, 1997, : 155 - 162
  • [39] Rapid prototyping of parallel and distributed systems by means of high-level Petri nets
    Mikolajczak, B
    Cabeza, A
    Rumbut, JT
    SMC '97 CONFERENCE PROCEEDINGS - 1997 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: CONFERENCE THEME: COMPUTATIONAL CYBERNETICS AND SIMULATION, 1997, : 1735 - 1740
  • [40] A reasoning algorithm for high-level fuzzy petri nets
    Scarpelli, H
    Gomide, F
    Yager, RR
    IEEE TRANSACTIONS ON FUZZY SYSTEMS, 1996, 4 (03) : 282 - 294
12345