Urban Maze

Eine Person ist in der Stadt unterwegs, kennt den Weg zum angesteuerten Ziel aber nicht. Um sich im Straßennetz zurecht zu finden und im Ziel anzukommen wird also Hilfe benötigt. Eine Freundin sitzt gemütlich Zuhause und hat die Stadtkarte vor sich liegen. Allerdings weiß er*sie nicht, wo genau sich die orientierungslose Person befindet. Nun müssen die beiden die Person in der Stadt gemeinsam zum Ziel bringen.

Das Straßennetz ist eine Metapher für Transitionssysteme, wobei die Straßen Übergängen in diesen entsprechen. Mit den Leveln verändert sich dabei die Art der Äquivalenz zwischen den beiden Transitionssystemen. Zuerst sind sie isomorph zueinander, dann bisimilar und in höheren Leveln nicht bisimilar. Durch das Spielen wird geprüft, ob auf den beiden Transitionssystemen die gleichen Übergänge möglich sind.