https://123dok.net/document/zlg1m70g-petri-timed-petri-modeling-analysis-concurrent-systems-overview.html