Control Panel:
- Petri Net Extension -> does not matter
- Parameters -> No
- Cost PN -> No
- Control PN -> Untimed control PN

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

Property: control WIN==1

Property: avoid LOST==1

Property: control control LOST==0 U WIN==1