Verification of Factorio Belt Balancers using Petri Nets
Factorio is a game focusing on the design and management of increasingly complex logistics systems. Part of these logistic systems is the mass transportation of different items on transport belts, which provides a vast amount of different problems to solve. In this bachelor thesis we will focus on o...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en |
| Published: |
2021
|
| Online Access: | https://tuprints.ulb.tu-darmstadt.de/17621/8/thesis.pdf Leue, Andre <http://tuprints.ulb.tu-darmstadt.de/view/person/Leue=3AAndre=3A=3A.html> (2021): Verification of Factorio Belt Balancers using Petri Nets. (Publisher's Version)Darmstadt, Technische Universität, DOI: 10.26083/tuprints-00017621 <https://doi.org/10.26083/tuprints-00017621>, [Bachelor Thesis] |
Internet
https://tuprints.ulb.tu-darmstadt.de/17621/8/thesis.pdfLeue, Andre <http://tuprints.ulb.tu-darmstadt.de/view/person/Leue=3AAndre=3A=3A.html> (2021): Verification of Factorio Belt Balancers using Petri Nets. (Publisher's Version)Darmstadt, Technische Universität, DOI: 10.26083/tuprints-00017621 <https://doi.org/10.26083/tuprints-00017621>, [Bachelor Thesis]