petri net with edges