Universität Köln, Seminar für Allgemeine Betriebswirtschaftslehre, Industriebetriebslehre und Produktionswirtschaft, Arbeitsbericht 28, 1989. In German.
Abstract: Probleme des Operations Research (OR), deren Struktur von logischen Sachverhalten bestimmt wird, lassen sich nur schwer mit konventionellen OR-Programmen modellieren. In dieser Arbeit wird ein Modellierungskonzept auf der Basis von Petrinetzen vorgestellt. Es dient speziell der natürlichen Repräsentation aussagenlogischer Zusammenhänge und der Überwachung ihrer Konsistenz. Ein Beispiel aus dem Gebiet der JahresabschluÑgestaltung von Aktiengesellschaften verdeutlicht die Anwendungsmöglichkeiten der Netztheorie für Aufgaben des Konsistenz-Monitoring. Ein Ausblick beschäftigt sich mit dem Einsatz von Netzmodellen für die Konsistenzüberwachung von Expertensystemen.
Keywords: operations research; consistency monitoring (of) propositional logic connections; expert system.