Abbildungsverzeichnis

• Drei Programmierer teilen sich zwei Terminals (terminal.pnt)
• Speisende Philosophen (dinner.cnt)
• Ein Netz mit einer Transition ohne Vorplatz (red_simp.pnt)
• Ein Netz mit zwei parallelen Plätzen und Transitionen (reduce_f.pnt)
• Reduktionen des Beispielnetzes
• Ein Netz mit äquivalenten Plätzen und deren Reduktion (reduce_m.pnt)
• Ein mit <A> reduzierbares Netz und das Ergebnis (reduce_a.pnt)
• Ein mit <B> reduzierbares Netz und das Ergebnis (reduce_b.pnt)
• Ein Netz mit einem zu reduzierenden Laufplatz (reduce_c.pnt)
• Ein Netz mit einer zu reduzierenden Schleife (reduce_u.pnt)
• Ein mit <V> reduzierbares Netz (reduce_v.pnt)
• Reduktionen des Beispielnetzes
• Ein mit <W> reduzierbares Netz und das Ergebnis (reduce_w.pnt)
• Zwei Ampeln (ampel.pnt)
• Das alternating bit protocol (altbit.pnt)
• Drei stark zusammenhängende Zustandsmaschinen-Komponenten des Netzes