Petri_net loading ...