Stellen, Transitionen und Marken modellieren. Aktivierte Transitionen feuern und Markierung beobachten.