diff --git a/fgi2/Blatt11/Aufgabenblatt11.tex b/fgi2/Blatt11/Aufgabenblatt11.tex index a6e9a07..75f8e2d 100644 --- a/fgi2/Blatt11/Aufgabenblatt11.tex +++ b/fgi2/Blatt11/Aufgabenblatt11.tex @@ -151,6 +151,8 @@ Das kleinste korrekte Workflownetz besteht aus zwei Plätzen und einer Transitio 14 & P-Seq & e & p17,t10 \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. \section{} %11.4 \end{document}