ecms_neu_mini.png

Digital Library

of the European Council for Modelling and Simulation

 

Title:

Stratification of Timed Petri Nets at the Example of a Production Process

Authors:

Carlo Simon, Stefan Haag, Lara Zakfeld

Published in:

 

 

(2022). ECMS 2022, 36th Proceedings
Edited by: Ibrahim A. Hameed, Agus Hasan, Saleh Abdel-Afou Alaliyat, European Council for Modelling and Simulation.

 

DOI: http://doi.org/10.7148/2022

ISSN: 2522-2422 (ONLINE)

ISSN: 2522-2414 (PRINT)

ISSN: 2522-2430 (CD-ROM)

 

ISBN: 978-3-937436-77-7
ISBN: 978-3-937436-76-0(CD)

 

Communications of the ECMS , Volume 36, Issue 1, June 2022,

Ålesund, Norway May 30th - June 3rd, 2022

 

Citation format:

Carlo Simon, Stefan Haag, Lara Zakfeld (2022). Stratification of Timed Petri Nets at the Example of a Production Process, ECMS 2022 Proceedings Edited By: Ibrahim A. Hameed, Agus Hasan, Saleh Abdel-Afou Alaliyat, European Council for Modeling and Simulation.

doi:10.7148/2022-0128

DOI:

https://doi.org/10.7148/2022-0128

Abstract:

Timed dynamic systems can be modeled and simulated with Petri nets using very different approaches. In Clock Pulse Models (CPM), one marking represents exactly one moment in time and all enabled transitions fire simultaneously according to a global clock. This allows for real-time observation of the modeled system during a simulation run. Since simulation time is proportional to observed real-time, such an approach barely scales concerning the observed time horizon. If not the observable behavior over time is of interest but the final simulation result, Event Triggered Models (ETM) can overcome this limitation as has been shown in former publications. A time-lapse model accelerates simulation runs by focusing on the moments state chances occur.CPM and ETM, however, share one disadvantage: the models' sizes tend to be proportional to the number of events that may occur simultaneously in the real world. Hence, they scale barely with the number of modeled entities. This unsolved scaling problem is addressed in this paper and pursues the idea of folding similar subnets in temporal layers called strata. The result is a Stratified Simulation Model (SSM), a small, flexible model that scales well concerning the number of modeled entities. SSM are derivates of CPM, since they still allow for nearly-real-time observation of the real world. Moreover, these models ease the visualization of the simulation in dashboards. The approach is explained at the example of a small production process.

Full text: