File:Petri_net_example.svg loading ...