From a85b9e460c36d9e9426069e5b9071503ea71b488 Mon Sep 17 00:00:00 2001
From: Jim Martens <jim1@live.de>
Date: Thu, 18 Dec 2014 19:53:11 +0100
Subject: [PATCH] FGI2: 10.5.2 fertiggestellt

---
 fgi2/Blatt10/Aufgabenblatt10.tex | 26 ++++++++++++++++++++++----
 1 file changed, 22 insertions(+), 4 deletions(-)

diff --git a/fgi2/Blatt10/Aufgabenblatt10.tex b/fgi2/Blatt10/Aufgabenblatt10.tex
index 4ccd9b1..9926bb8 100644
--- a/fgi2/Blatt10/Aufgabenblatt10.tex
+++ b/fgi2/Blatt10/Aufgabenblatt10.tex
@@ -162,21 +162,27 @@ Es sei \(\textbf{m}_0 = (0, 1, 1, 1, 0)^{tr}\) die Startmarkierung. Es ergeben s
 	\sigma_a = d, \sigma_b = da, \sigma_c = da, \sigma_d = \epsilon, \sigma_e = da
 \]
 \section{} %10.5
+\subsection{}
 \begin{tikzpicture}[node distance=1cm]
 	\node[place] (sleep) {};
+	\node (sleepN) [above=0.25 of sleep] {Schlafen (Kinder)};
 	\node[transition] (sleepT) [below=2 of sleep,align=left] {\((x="k1" \wedge y="b1" \wedge z_1="p1" \wedge z_2="p2") \vee\) \\ 
 		\((x="k2" \wedge y="b2" \wedge z_1="p2" \wedge z_2="p3") \vee\) \\
 		\((x="k3" \wedge y="b3" \wedge z_1="p3" \wedge z_2="p1")\)};
 	\node[place] (beds) [below=of sleepT,align=left] {"b1"\\ "b2"\\ "b3"\ };
+	\node (bedsN) [below=0.25 of beds] {Betten};
 	\node[transition] (eatT) [right=2 of beds,align=left] {\((x="k1" \wedge y="b1") \vee \) \\
 	\((x="k2" \wedge y="b2") \vee \) \\
 	\((x="k3" \wedge y="b3")\)};
 	\node[place] (eat) [below=of beds,align=left] {"k1"\\ "k2"\\ "k3"\ };
+	\node (eatN) [below=0.25 of eat] {Essen (Kinder)};
 	\node[place] (puppets) [below=of eat,align=left] {"p1"\\ "p2"\\ "p3"\ };
-	\node[transition] (playT) [right=2 of puppets,align=left] {\((x="k1" \wedge y="p1" \wedge z="p2") \vee \)\\
-		\((x="k2" \wedge y="p2" \wedge z="p3") \vee \) \\
-		\((x="k3" \wedge y="p3" \wedge z="p1")\)};
+	\node (puppetsN) [below=0.25 of puppets] {Puppen};
+	\node[transition] (playT) [right=2 of puppets,align=left] {\((x="k1" \wedge z_1="p1" \wedge z_2="p2") \vee \)\\
+		\((x="k2" \wedge z_1="p2" \wedge z_2="p3") \vee \) \\
+		\((x="k3" \wedge z_1="p3" \wedge z_2="p1")\)};
 	\node[place] (play) [below=2 of puppets] {};
+	\node (playN) [below=0.25 of play] {Spielen (Kinder)};
 	\path[->] (sleepT) edge node[right] {x} (sleep)
 		(beds) edge node[right] {y} (sleepT)
 		(eatT) edge[bend left=5] node[below right] {x} (eat)
@@ -189,7 +195,19 @@ Es sei \(\textbf{m}_0 = (0, 1, 1, 1, 0)^{tr}\) die Startmarkierung. Es ergeben s
 		(sleepT) edge[bend right=75] node[right] {\(z_1\)} (puppets)
 		(sleepT) edge[bend right=80] node[right] {\(z_2\)} (puppets)
 		(play) edge[bend left=85] node[left] {x} (sleepT);
-	
 \end{tikzpicture}
 
+\subsection{}
+\begin{alignat*}{1}
+	Spielen = \{k1, k2, k3\} \\
+	Puppen = \{p1, p2, p3\} \\
+	Essen = \{k1, k2, k3\} \\
+	Betten = \{b1, b2, b3\} \\
+	Schlafen = \{k1, k2, k3\} \\
+	dom(x) = Kinder \\
+	dom(y) = Betten \\
+	dom(z_1) = dom(z_2) = Puppen
+\end{alignat*}
+
+
 \end{document}