Simple Petri Net
Subtraction Game