https://123dok.net/document/dy4nl7vq-precise-deadlock-detection-for-polychronous-data-flow-specifications.html