https://9dok.net/document/q05jo7k9-lumpability-abstractions-of-rule-based-systems.html