Prozeßtheorie der Ablaufplanung: Algebraische Modellierung von Prozessen, Ressourcenrestriktionen und Zeit

موضوع کتاب مدل‌سازی جبری فرآیندهای عملیاتی است که در اینجا از مثال برنامه‌ریزی فرآیند استفاده می‌شود. پس از مقدمه‌ای بر برنامه‌ریزی فرآیند، شرایط فرآیند و نمایش‌های گرافیکی فرآیند، وضعیت فعلی \"نظریه همزمانی\" (نظریه فرآیندهای همزمان) به طور مفصل ارائه می‌شود. تمام مدل‌های رایج مانند شبکه‌های پتری، سیستم‌های انتقال، ساختارهای رویداد، جبرهای فرآیندی و غیره توضیح داده شده و با مثال‌هایی مقایسه می‌شوند. سپس یک رویکرد جبری فرآیندی برای نظریه فرآیند انتخاب می شود. مزایای جبر برای فرآیندها از یک سو در معنای ابهام و دقیق فرآیند و از سوی دیگر در ساختار مدولار آن نهفته است. به این ترتیب، مدل پایه را می توان به راحتی گسترش داد و با نیازهای خاص سازگار کرد.

Gegenstand des Buches ist die algebraische Modellierung betrieblicher Prozesse, hier am Beispiel der Ablaufplanung. Nach einer Einführung in Ablaufplanung, Prozeßbegriffe und grafische Prozeßdarstellungen wird der aktuelle Stand der "Concurrency Theory" (Theorie nebenläufiger Prozesse) ausführlich dargestellt. Es werden alle gängigen Modelle, wie Petrinetze, Transitionssysteme, Ereignisstrukturen, Prozeßalgebren etc., an Beispielen erläutert und miteinander verglichen. Für die Prozeßtheorie wird dann ein prozeßalgebraischer Ansatz gewählt. Die Vorteile einer Algebra für Prozesse liegen zum einen in der eindeutigen und exakten Prozeßsemantik und zum anderen in ihrer modularen Struktur. So kann das Basismodell sehr leicht erweitert werden und an spezielle Anforderungen angepaßt werden.