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