Alexander Rein Ulrike Prange Leen Lambers Kathrin Hoffmann Julia Padberg Negative Application Conditions for Reconfigurable Place/Transition Systems. 2008 10 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/140 db/journals/eceasst/eceasst10.html#ReinPLHP08