https://123dok.net/document/q2n7d8pr-compatibility-analysis-of-time-open-workflow-nets.html