Petrinetzmodell für die Formalisierung von GRAFCET-Spezifikationen.