Ansatze zur formalsprachlichen Spezifikation und simulationsgestutzten Modellierung
Charakterisierung des betrachteten Metacontrollings. -Formalsprachliche Spezifikation steuerungsrelevanter Prozesse mithilfe der Technik offener Entscheidungsnetze und der Prädikatenlogik. -
Simulationsgestütztes Metacontrolling.