https://123dok.net/document/qvl7wv11-class-hypernets-token-creation-decidable-reachability-problem.html