author = { Alexander Rein and Ulrike Prange and Leen Lambers and Kathrin Hoffmann and Julia Padberg },
title = { Negative Application Conditions for Reconfigurable Place/Transition Systems },
year = { 2008 },
volume = { 10 },
abstract = { This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and its marking dynamically. Negative application conditions are a control structure that prohibits the application of a rule if certain structures are already existent. We motivate the use of negative application conditions in a short example. Subsequently the underlying theory is sketched and the results - concerning parallelism, concurrency and confluence - are presented. Then we resume the example and explicitly discuss the main results and their usefulness within the example. },
month = { 0 },
keywords = { Petri net, net transformation, negative application condition, control structure },
editor = { J. de Lara C. Ermel and Reiko Heckel },
publisher = { Electronic Communications of the EASST },
address = { Budapest, Hungary },
booktitle = { Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08) },
isbn = { ISSN 1863-2122 }