Mit Petri-Netzen wird dieVerklemmung beim Erzeuger- Verbraucher-Problem gezeigt, Zyklizität dargestellt, ein System aus nur lebendem Transitionen, ferner die Auflösung der Verklemmung, ein verklemmungsfreies System, die Existenz einer toten Transition und ein Petri-Netz nur aus toten Transitionen behandelt