Pairing Finite Automata and Petri Nets: Simulation of Processes in Logistics
Grzonka, Daniel; Rylko, Natalia; Suchacka, Grazyna; Mityushev, Vladimir (Hrsg). Proceedings of the 38th ECMS International Conference on Modelling and Simulation (ECMS). Saarbrücken: Pirrot 2024 S. 474 - 480
Erscheinungsjahr: 2024
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.7148/2024-0474
Geprüft | Bibliothek |
Inhaltszusammenfassung
After the authors had successfully modelled and simulated the outdoor traffic of a warehouse with the aid of high-level Petri nets, they failed to do so for the combined in- and outbound traffic using the same technique. Even worse, this failure showed that the previously developed modelling technique does not scale, is hard to adapt to other scenarios, and difficult to teach. This paper explains a new modelling approach which not only solves the simulation problem but also overcomes the abo...After the authors had successfully modelled and simulated the outdoor traffic of a warehouse with the aid of high-level Petri nets, they failed to do so for the combined in- and outbound traffic using the same technique. Even worse, this failure showed that the previously developed modelling technique does not scale, is hard to adapt to other scenarios, and difficult to teach. This paper explains a new modelling approach which not only solves the simulation problem but also overcomes the above-mentioned limitations. Now, the different types of logistic processes in the warehouse are represented as finite automata that define the states of inbound and outgoing goods, the resources needed, and the time limitation of state transitions. A high-level Petri net is then tailored to execute several instances of these automata in parallel with respect to the formulated constraints. The paper explains the real-world example, the development of the finite automata, the bottom-up construction of the Petri net, and an environment for running warehouse simulations with real-world data and presenting the results on a dashboard.» weiterlesen» einklappen
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik