From 6bf58809beaedac61774d3d321cf2abde17bbcef Mon Sep 17 00:00:00 2001
From: Jim Martens <jim1@live.de>
Date: Wed, 26 Nov 2014 11:19:59 +0100
Subject: [PATCH] FGI2: Aufgabe 7.4.1 bearbeitet

---
 fgi2/Blatt7/Aufgabenblatt7.tex | 51 +++++++++++++++++++++++++++++++++-
 1 file changed, 50 insertions(+), 1 deletion(-)

diff --git a/fgi2/Blatt7/Aufgabenblatt7.tex b/fgi2/Blatt7/Aufgabenblatt7.tex
index c11a47a..edbc3a7 100644
--- a/fgi2/Blatt7/Aufgabenblatt7.tex
+++ b/fgi2/Blatt7/Aufgabenblatt7.tex
@@ -37,6 +37,55 @@
 \title{Hausaufgaben zum 1. Dezember}
 \maketitle
 
-\setcounter{section}{3}
+\setcounter{section}{2}
+\section{} %7.3
+	\setcounter{subsection}{1}
+	\subsection{}
+	Das Netz \(N_{1}\) ist nicht lebendig, beschränkt oder reversibel. Die Transitionen gta, rz, s und f sind lebendig. Alle Plätze außer "`Bauteile"' und "`fertige Bauteile"' sind beschränkt.
 \section{} %7.4
+	\subsection{}
+	Der Erreichbarkeitsgraph für das Netz \(N_{7.4a}\) befindet sich auf \fref{fig:1}. Der Erreichbarkeitsgraph für das Netz \(N_{7.4b}\) befindet sich auf \fref{fig:2} und der Algorithmus hätte in der Markierung \((3,0,0,3)^T\) abgebrochen.
+	\begin{figure}
+	\begin{tikzpicture}[node distance=2cm]
+		\node (m0) {\((0,0,2,4)^T\)};
+		\node (m1) [right=of m0] {\((1,0,1,3)^T\)};
+		\node (m2) [right=of m1] {\((2,0,0,2)^T\)};
+		\node (m3) [below=of m2] {\((0,1,1,2)^T\)};
+		\node (m4) [right=of m3] {\((1,1,0,1)^T\)};
+		\path[->] (m0) edge node[above] {v} (m1)
+			(m1) edge node[above] {v} (m2)
+			(m2) edge node[right] {u} (m3)
+			(m3) edge node[above right] {t} (m1)
+			(m3) edge node[above] {v} (m4)
+			(m4) edge node[above right] {t} (m2);
+	\end{tikzpicture}
+	\caption{Erreichbarkeitsgraph für Netz \(N_{7.4a}\)}
+	\label{fig:1}
+	\end{figure}
+	
+	\begin{figure}
+	\begin{tikzpicture}[node distance=2cm]
+		\node (m0) {\((0,0,1,4)^T\)};
+		\node (m1) [right=of m0] {\((3,0,0,3)^T\)};
+		\node (m2) [right=of m1] {\((1,2,1,3)^T\)};
+		\node (m3) [below=of m2] {\((3,0,1,4)^T\)};
+		\node (m4) [left=of m3] {\((3,2,0,2)^T\)};
+		\node (m5) [below=of m3] {\((6,0,0,3)^T\)};
+		\node (m6) [below=of m5] {\((4,2,1,3)^T\)};
+		\node (m7) [left=of m5] {\((1,2,2,4)^T\)};
+		\node (m8) [left=of m7] {\((1,4,1,2)^T\)};
+		\node (m9) [left=of m4] {\((5,0,0,3)^T\)};
+		\path[->] (m0) edge node[above] {v} (m1)
+			(m1) edge node[above] {u} (m2)
+			(m2) edge node[right] {t} (m3)
+			(m2) edge node[below right] {v} (m4)
+			(m3) edge node[right] {v} (m5)
+			(m4) edge node[below right] {u} (m8)
+			(m4) edge node[above] {t} (m9)
+			(m5) edge node[right] {u} (m6)
+			(m3) edge node[below right] {u} (m7);
+	\end{tikzpicture}
+	\caption{Erreichbarkeitsgraph für Netz \(N_{7.4b}\)}
+	\label{fig:2}
+	\end{figure}
 \end{document}