Ablaufplanung mit Petrinetzen Spezifikation eines entscheidungsorientierten Modellierungsansatzes | EKB DL