https://123dok.net/document/yjddx92y-counterexample-thiagarajan-s-conjecture-regular-event-structures.html