Modified source to show how is the result on a Petri Net