Modellierung des Verhaltens des Systems mithilfe von Petrinetzen. /VDI 3633 Entwurf/