https://123dok.net/document/zwv1g44g-timed-processes-of-interval-timed-petri-nets.html