https://123dok.net/document/yd22lvjq-enforcement-class-nonlinear-constraints-petri-nets.html