Ein zeitbehaftetes Petrinetz mit Anfangsmarkierung und statischen Zeitintervallen war gegeben (3 Plätze, 3 Transitionen).
Gegeben war ein Schema Operiations, das nur eine Sequenz ops: seq R enthält. Nun sollen folgende Operationen als Schemata mithilfe von Z modelliert werden: