https://123dok.net/document/q2n3omjj-combining-free-choice-and-time-in-petri-nets.html