Frage

I have the two LTS (labeled transition system) as seen in the following picture: enter image description here And the book is telling me that between those two LTS, their $1$ and $1'$ are non-bisimilar.

So I tried to get a bisimilation starting from the pair $\{\{1,1'\}\}$ by continuously extending it whenever I found a conflict, ending up with: $$\{ \{1,1'\} ,\{2,2'\},\{3,3'\},\{2,4'\},\{4,3'\},\{3,5'\},\{4,5'\} \}$$

Finally, to check whether it truly was a bisimilation, I checked for each pair each node, and asserted that all possible pairs of derivatives were part of the set.

I am arriving that they are a bisimilation - is the crux in the $a$'s and $b$'s?
(They didn't really explain what it means)

Keine korrekte Lösung

Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit cs.stackexchange
scroll top