A. Rein, U. Prange, L. Lambers, K. Hoffmann, and J. Padberg, “Negative Application Conditions for Reconfigurable Place/Transition Systems”, eceasst, vol. 10, Jul. 2008.