https://123dok.net/document/qmjknkew-modular-qualitative-modelling-regulatory-networks-using-petri-nets.html