Petri Net (NOT a game) (2017) by Clauveira