added petri_net.png