2martens/uni
1
0
Fork 0
mirror of https://github.com/2martens/uni.git synced 2026-05-07 03:46:25 +02:00
Code Releases Activity

FGI2: 11.3.7 bearbeitet

Browse Source 
Signed-off-by: Jim Martens <github@2martens.de>
This commit is contained in:
Jim Martens
2015-01-08 17:15:10 +01:00
parent 329b0bd2c1
commit b29845a28b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
fgi2/Blatt11/Aufgabenblatt11.tex
View File

@ -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}