Abstrakte Modellierung ereignisgesteuerter Systeme