Added making a fake petrinet

Still not yet found a good petrinet, and this gives errors