In: Philippi, Stephan: Fachberichte Informatik, No. 7-2000: 7. Workshop Algorithmen und Werkzeuge für Petrinetze, 2.-3. Oktober 2000, Koblenz, Germany, pages 63-68. Universität Koblenz-Landau, Institut für Informatik, October 2000.
Abstract: Es wird ein neues Korrektheitskriterium Relaxed Soundness für die Modellierung von Geschäftsprozessen mit Petrinetzen vorgestellt. Es ist weniger restriktiv als Soundness und erlaubt eine pragmatischere und damit anwendungsnähere Modellierung. Vor allem ermöglicht es Synchronisationsentscheidungen aus der Modellierung herauszulassen. Dadurch kann der Modellierer von Effektivitätsaspekten entlastet werden. Die Entscheidungen, wann am geeignetsten synchronisiert wird, werden einem Scheduler zur Zeit der Ausführung überlassen.