Web-based Simulation of Production Schedules with High-level Petri Nets

被引:0
|
作者
Simon, Carlo [1 ]
机构
[1] Hsch Worms, Fachbereich Informat, Erenburgerstr 19, D-67549 Worms, Germany
关键词
Petri Nets; Simulation Tool; Production Processes; Business Processes; Design Science Research;
D O I
暂无
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
The paper addresses a problem, practitioners in production and logistics are faced with every day: Although several mathematical solutions including Petri net approaches exist for the simulation of complex processes, appropriate and simple to use tools do not exist. In the following, the results of a two year running research project are presented which addresses this problem. Guided by the Design Science Research approach, in this project a programming language and a programming and simulation environment for higher Petri nets has been developed, tested and evaluated. Method and tool are applied to complex simulation problems in production planning and control now. The following results had to be achieved: 1) Schedule-related data like customer orders and their prioritization can be considered now. 2) Various production strategies such as push or pull can be applied. 3) Complex data types including date and time information are supported. 4) Working time and downtime of machines can be imported from external data sources like an MES in order to calculate productivity measures like an OEE index. The tool has been developed as a web-based system in order to support mobile use even on the shop floor. The application of language, tool and simulation results are demonstrated here introductorily at the example of a (simple) production control. The problems handled in current industry projects are more complex of course.
引用
收藏
页码:275 / 281
页数:7
相关论文
共 50 条
  • [1] Formal verification method of simulation scenario based on high-level Petri nets
    Control and Simulation Center, Harbin Institute of Technology, Harbin 150001, China
    Kongzhi yu Juece Control Decis, 2006, 11 (1208-1213):
  • [2] HIGH-LEVEL ALGEBRAIC PETRI NETS
    KAN, CY
    HE, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (01) : 23 - 30
  • [3] Z AND HIGH-LEVEL PETRI NETS
    VANHEE, KM
    SOMERS, LJ
    VOORHOEVE, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 204 - 219
  • [4] Abstract Petri nets as a uniform approach to high-level petri nets
    Padberg, J
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 241 - 260
  • [5] Testing BPEL-based web service composition using high-level Petri nets
    Dong, Wen-Li
    Yu, Hang
    Zhang, Yu-Bing
    10TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE, PROCEEDINGS, 2006, : 441 - 444
  • [6] Bottleneck Detection in Job Shop Production by High-Level Petri Nets
    Esmaeeli, Hamid
    Aleahmad, Matin
    PROCEEDINGS OF 2019 15TH IRAN INTERNATIONAL INDUSTRIAL ENGINEERING CONFERENCE (IIIEC), 2019, : 178 - 183
  • [7] Branching processes of high-level Petri nets
    Khomenko, V
    Koutny, M
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2003, 2619 : 458 - 472
  • [8] SYSTEM MODELING WITH HIGH-LEVEL PETRI NETS
    GENRICH, HJ
    LAUTENBACH, K
    THEORETICAL COMPUTER SCIENCE, 1981, 13 (01) : 109 - 136
  • [9] A methodology of testing high-level Petri nets
    Zhu, H
    He, XD
    INFORMATION AND SOFTWARE TECHNOLOGY, 2002, 44 (08) : 473 - 489
  • [10] STOCHASTIC HIGH-LEVEL PETRI NETS AND APPLICATIONS
    LIN, CA
    MARINESCU, DC
    IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (07) : 815 - 825