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}