Bedingung/Ereignis-Netze

...erhält man aus allgemeinem Modell durch:

• jede Kante hat Gewicht 1
• jede Kapazität ist 1

Beispiele:

• Ampelkreuzung (zwei Ampeln grün/gelb/rot, nicht gleichzeitig grün)
• speisende Philosophen

  Analyse von Lebendigkeit, Fairness