https://123dok.net/document/zgw92dxn-symbolic-abstractions-automata-application-supervisory-control-problem.html