fixed petri net