https://123dok.net/document/zwv9ejg1-petri-net-models.html