Ereignisdiskrete Systeme: Modellierung und Steuerung verteilter Systeme