by Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
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.
Reference:
Negative Application Conditions for Reconfigurable Place/Transition Systems (Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg), In Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08) (J. de Lara C. Ermel, Reiko Heckel, eds.), Electronic Communications of the EASST, volume 10, 2008.
Bibtex Entry:
@InProceedings{RPL+08,
AUTHOR = {Rein, Alexander and Prange, Ulrike and Lambers, Leen and Hoffmann, Kathrin and Padberg, Julia},
TITLE = {{Negative Application Conditions for Reconfigurable Place/Transition Systems}},
YEAR = {2008},
BOOKTITLE = {Proc. Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08)},
VOLUME = {10},
EDITOR = {C. Ermel, J. de Lara and Heckel, Reiko},
ADDRESS = {Budapest, Hungary},
PUBLISHER = {Electronic Communications of the EASST},
URL = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19},
PDF = {uploads/pdf/RPL+08_ptWithNACs.pdf},
OPTacc_pdf = {},
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. },
KEYWORDS = {control structure, negative application condition, net transformation, Petri net}
}