Eine Beschreibung von Spin (Download).

Eine Musterlösung zu den Philosophen.

Eine Musterlösung zu Petersons Protokoll.

Eine falsche Lösung zum wechselseitigen Ausschluß.

Eine Musterlösung zu Petri-Netzen.

Eine Liste der Projekte.