Petri nets in the NuPN format