What software or tool was used to generate these high-level petri nets graph images? I looked for many tools but could not find that one. from https://ieeexplo
I am have been trying out CPNTools for exploring and simulating colored petri nets. It seems like PNML is the standard format of petri nets. Also colored petri