Petri-Netze sind mächtige Werkzeuge, um gleichzeitig ablaufende Vorgänge beschreiben und analysieren zu können. In dieser Vorlesung verwenden wir Petri-Netze, um ein klassisches Problem aus der verteilten Programmierung zu analysieren und zu lösen: Den Deadlock.  Deadlocks können immer dann entstehen, wenn Prozesse sich Ressourcen exklusiv sichern und nicht zu deren Herausgabe gezwungen werden können. In unserem Beispiel kommen sich zwei Prozesse ins Gehege, die dieselbe Rechnung auf denselben Drucker drucken wollen. Deadlocks haben Auswirkungen auf die Sicherheit eines Systems, wenn sie in Form von Denial-of-Service-Angriffen gezielt provoziert werden können.