Modellbildung und Analyse ereignisorientierter Systeme mit Petri-NetzenDirk AbelÉpuisé4,3Prévenez-moi