From 4962b860c64123a8a9a3eb0c370bba81d564f152 Mon Sep 17 00:00:00 2001 From: Jim Martens Date: Wed, 21 Jan 2015 12:14:39 +0100 Subject: [PATCH] FGI2: 13.4.1 fertig Signed-off-by: Jim Martens --- fgi2/Blatt13/Aufgabenblatt13.tex | 2 ++ 1 file changed, 2 insertions(+) diff --git a/fgi2/Blatt13/Aufgabenblatt13.tex b/fgi2/Blatt13/Aufgabenblatt13.tex index 28721d4..7134130 100644 --- a/fgi2/Blatt13/Aufgabenblatt13.tex +++ b/fgi2/Blatt13/Aufgabenblatt13.tex @@ -72,6 +72,8 @@ \section{} % 13.4 \subsection{} Die Prozessgraphen für \(t_6\) und \(t_7\) befinden sich auf \fref{fig:t6-graph} bzw. \fref{fig:t7-graph}. + + Es existiert dabei folgende Bisimulationsrelation: \(\mathbb{B} = \{(c, \partial_H(c)), (b \cdot c, \partial_H(b \cdot c)), (b \cdot c, \partial_H((b + b) \cdot c)), ((a + b) \leftmerge (b \cdot c), \partial_H((a \leftmerge (b + b) + (d \parallel e) \cdot b) \cdot c))\}\) \begin{figure} \begin{tikzpicture}[node distance=1cm] \node (t6-start) {\((a + b) \leftmerge (b \cdot c)\)};