https://9dok.net/document/y8g2w7d5-modularization-biochemical-networks-based-classification-petri-net-invariants.html