Modellierung und Ausführung von Workflows mit Petri-Netzen

Más información sobre el libro

Dieses Buch präsentiert einen integrierten Ansatz zur Modellierung betrieblicher Abläufe und Objekte, basierend auf Petri-Netzen. Es führt eine evolutionäre Vorgehensweise zur Ablaufbeschreibung ein, die von einer anwendungsnahen Notation zu einer präzisen, für Workflow-Managementsysteme geeigneten Notation übergeht. Die Architektur eines Workflow-Managementsystems wird entwickelt, wobei Petri-Netze direkt für die Ablaufkontrolle und -steuerung verwendet werden. Die beschriebene Workflow-Engine fungiert als flexibel konfigurierbare Ablaufsteuerung für Standard-Softwaresysteme, wobei die Abläufe nicht fest in der Software verankert sind, sondern als flexible Beschreibungen in Form eines Ablaufschemas vorliegen, das im Rahmen der Modellierung optimiert wird. Der Autor behandelt anspruchsvoll die Workflow-Probleme, die in der Literatur oft oberflächlich behandelt werden. Er veranschaulicht, wie komplexe Objektstrukturen aus dem Datenmodell im NR/T-Netz repräsentiert werden können. Formale Netz-Schemata werden schrittweise aus informalen Notationen abgeleitet. Das Werk leistet einen bedeutenden Beitrag zur Modellierung betrieblicher Abläufe und ist eine wichtige Quelle für Forscher. Entwickler und Anwender von Workflow-Managementsystemen finden ebenfalls wertvolle praxisnahe Beispiele. Trotz der formalen Darstellung bleibt das Buch gut lesbar und verständlich.