From 96c4665ea71bc94449bb4b4d2e1f70b545bc9f07 Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Thu, 4 Dec 2014 17:57:30 +0100 Subject: [PATCH] FGI2: 8.5.3 korrigiert und erweitert --- fgi2/Blatt8/Aufgabenblatt8.tex | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/fgi2/Blatt8/Aufgabenblatt8.tex b/fgi2/Blatt8/Aufgabenblatt8.tex index ad10ea0..3d4c14f 100644 --- a/fgi2/Blatt8/Aufgabenblatt8.tex +++ b/fgi2/Blatt8/Aufgabenblatt8.tex @@ -663,9 +663,11 @@ \subsection{} Diese Stellen sind Teil eines Stellenschnittes, einer erreichbaren Markierung. \subsection{} - Jeder Prozess ist ein Kausalnetz mit einem Abbildungspaar, welches die Bedingungen auf Stellen und die Ereignisse auf Transitionen abbildet. Das zu einem Prozess gehörende Kausalnetz ist vorgängerendlich. + Jeder Prozess ist ein Kausalnetz mit einem Abbildungspaar, welches die Bedingungen auf Stellen und die Ereignisse auf Transitionen abbildet. Das zu einem Prozess gehörende Kausalnetz ist vorgängerendlich. Es gibt jedoch auch Kausalnetze, die nicht vorgängerendlich und damit nicht Bestandteil von Prozessen sind. - Es gibt jedoch auch Kausalnetze, die nicht vorgängerendlich sind und damit keine Prozesse. + Der strukturelle Unterschied besteht darin, dass Kausalnetze aus Bedingungen und Ereignissen bestehen, wohingegen Prozesse ein Kausalnetz referenzieren und eine Abbildung von Bedingungen und Ereignissen auf Plätze und Transitionen enthalten. Naiv gesehen könnte man sagen, dass Kausalnetze weniger umfassen als Prozesse. + + Rein zahlenmäßig ist das Verhältnis jedoch umgekehrt, wie bereits mit der Vorgängerendlichkeit beschrieben. \subsection{} %TODO \end{document}