Commit bbb37362 authored by Jan Leuschner's avatar Jan Leuschner
Browse files

erweiterung folien

parent e2edf40f
......@@ -359,6 +359,23 @@ STOP [T= SYSTEM_38 \ diff(Events, {|crash, derailing|}):
\end{figure}
\end{frame}
\begin{frame}{Bedingungen für Deadlocks und Ausweichrouten}
\begin{itemize}
\item Deadlockbedingungen für 3 Routen
\begin{enumerate}
\item $\forall r1, r2, r3 \in ROUTES : r1 \neq r2 \neq r3$
\item $\forall r1, r2 \in ROUTES : r1 \neq r2 \land start(r1) \subset path(r2) \land start(r2) \subset path(r1) \land direction(r1) \neq direction(r2)$
\end{enumerate}
\item Bedingungen für die Ausweichrouten
\begin{enumerate}
\item $ start(alternative\_route) \not \subset path(routes\_in\_deadlock) \land $
\item $path(alternative\_route) \not \subset path(routes\_in\_deadlock) \land$
\item $ \lnot deadlock(alternative\_route, r1, r2, r3) $
\end{enumerate}
\end{itemize}
\end{frame}
\begin{frame}{Ablauf Deadlockauflösung}
\begin{figure}[H]
\centering
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment