Positivbeispiel: Abwesenheit von Verklemmungen (Deadlocks)

Deadlocks immer über XOR-Gateway zusammenfassen