Abbildungsverzeichnis

• 2.1 Drei Programmierer teilen sich zwei Terminals (terminal.pnt)
• 2.2 Speisende Philosophen (dinner.cnt)
• 5.1 Ein Netz mit einer Transition ohne Vorplatz (red_simp.pnt)
• 5.2 Ein Netz mit zwei parallelen Plätzen und Transitionen (reduce_f.pnt)
• 5.3 Reduktionen bezüglich paralleler Knoten des Beispielnetzes 5.2
• 5.4 Ein Netz mit äquivalenten Plätzen und deren Reduktion (reduce_m.pnt)
• 5.5 Ein mit <A> reduzierbares Netz und das Ergebnis (reduce_a.pnt)
• 5.6 Ein mit <B> reduzierbares Netz und das Ergebnis (reduce_b.pnt)
• 5.7 Ein Netz mit einem zu reduzierenden Laufplatz (reduce_c.pnt)
• 5.8 Ein Netz mit einer zu reduzierenden Schleife (reduce_u.pnt)
• 5.9 Ein mit <V> reduzierbares Netz (reduce_v.pnt)
• 5.10 Reduktionen des Beispielnetzes 5.9
• 5.11 Ein mit <W> reduzierbares Netz und das Ergebnis (reduce_w.pnt)
• 6.1 Ein Netz bei dem ein Platz nicht markierbar ist (stateeq.pnt)
• 6.2 Zwei Ampeln (ampel.pnt)
• 6.3 Das alternating bit protocol (altbit.pnt)
• 6.4 Drei stark zusammenhängende Zustandsmaschinen-Komponenten des Netzes 6.2