2martens/uni
1
0
Fork 0
mirror of https://github.com/2martens/uni.git synced 2026-05-06 19:36:26 +02:00
Code Releases Activity

FGI2: Aufgabe 7.4.1 bearbeitet

Browse Source
This commit is contained in:
Jim Martens
2014-11-26 11:19:59 +01:00
parent 35ffc9d8f1
commit 6bf58809be
1 changed files with 50 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

51
fgi2/Blatt7/Aufgabenblatt7.tex
View File

@ -37,6 +37,55 @@
\title{Hausaufgaben zum 1. Dezember} \title{Hausaufgaben zum 1. Dezember}
\maketitle \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 \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} \end{document}