Title: Entwurf und Simulation eines Modells stationsleittechnischer Prozesse mit modifizierten Petri-Netzen