Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

Volltext über DOI/URN

GeprüftBibliothek

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

  • Process Modeling
  • Petri nets
  • Finite Automata
  • Resource-restricted Simulation

Klassifikation


DFG Fachgebiet:
Informatik

DDC Sachgruppe:
Informatik

Verknüpfte Personen


Stefan Haag

Carlo Simon

Beteiligte Einrichtungen