https://123dok.net/document/q05xnp7v-high-level-petri-modeling-railway-safety-critical-scenarios.html