Rein, Alexander, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, and Julia Padberg. 2008. “Negative Application Conditions for Reconfigurable Place Transition Systems”. Electronic Communications of the EASST 10 (July). https://doi.org/10.14279/tuj.eceasst.10.140.