diff --git a/fgi2/Blatt11/Aufgabenblatt11.tex b/fgi2/Blatt11/Aufgabenblatt11.tex index 75f8e2d..1630ef0 100644 --- a/fgi2/Blatt11/Aufgabenblatt11.tex +++ b/fgi2/Blatt11/Aufgabenblatt11.tex @@ -152,7 +152,7 @@ Das kleinste korrekte Workflownetz besteht aus zwei Plätzen und einer Transitio \end{tabular} \subsection{} -Es ist nicht möglich die Korrektheit nachzuweisen, da p37 mit t12, t21 und t18 einen dreidimensionalen Raum aufspannt und daher nicht vergröbert werden kann. +Es ist nicht möglich die Korrektheit mit den bekannten Regeln nachzuweisen, da bei keiner Regel mehr als zwei Transitionen beteiligt sind. Im Fall von p37 sind aber genau drei Transitionen beteiligt, wodurch keine der Regeln angewendet werden kann. \section{} %11.4 \end{document}