https://123dok.net/document/qvjj62lq-predictability-analysis-of-distributed-discrete-event-systems.html