2015/11/03 by Alexander Rein, Rein, Alexander, Ulrike Prange +7
Computer Science · #Advanced Software Engineering Methodologies #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services
paper · doi:10.14279/tuj.eceasst.10.140
openalex publication_date 2024/04/05 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/01
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.