Negative Application Conditions for Reconfigurable Algebraic High-Level Systems

Do you like this document?

Notes

Please login to add notes

This paper introduces negative application conditions for reconfigurable algebraic high-level systems. These are algebraic high-level systems, i.e. algebraic high-level nets with an initial marking, together with a set of rules for changing the system dynamically. Negative application conditions are a control structure for restricting the application of a rule if a certain structure is present. The use of negative application conditions is motivated in a short example. Subsequently, the underlying theory is sketched and the most significant results are presented. Finally, the example is resumed and the main results and their usefulness within the example are discussed.

Pearson-logo1
Uvk
Oreilly-media-logo3
Packtpublishing