Negative Application Conditions for Reconfigurable Place/Transition Systems

: 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

• Type: Journal
• Year: 2008
• Where: ECEASST
• Authors: Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
• Keywords: Control Structure, ECEASST 2008, Negative Application Conditions, Petri Nets