Control Panel:
- Petri Net Extension -> Time (T-TPN)
- Parameters -> Integer parameters
- Cost PN -> No
- Control PN -> Timed control PN

————————————————————
Checker.

Property: control (Ready1 + Exec1 <= 1 and Ready2 + Exec2 <= 1 and Ready3 + Exec3 <= 1  ) and (Observer==1) U (Goal==11) and (Observer==1)
