This is a screenshot for the software Petri nets Emulator. Petri-nets editor and emulator.