Petri nets Emulator

Petri nets Emulator is a Java-based application that facilitates a user-friendly workspace to help you edit and emulate Petri nets. It comes packed with several handy options for all user levels.

No setup necessary, besides Java

As long as you have Java installed on your PC, you don't need to set up anything else. This means that you can save the program files anywhere on the disk or on a USB flash drive and directly launch the .jar executable file. More importantly, it doesn't modify Windows registry settings.

Clear-cut interface and options

The GUI is represented by a common-looking window with a neatly organized structure, where you can add places and arcs, along with time and immediate transitions to the design. Undoing and redoing your actions is possible.
Petri nets Emulator lets you study Markov and reachability graphs, as well as edit descriptive, transition and emulation tables. One event can be emulated at a time. Otherwise, you can run emulations during a specific time or number of events. The project can be saved as an XML file and resumed later, or exported to PNG, TXT or HTML format.

Evaluation and conclusion

We haven't come across any stability issues in our tests, thanks to the fact that the program didn't hang, crash or prompt error messages. It had minimal impact on computer performance, running on low CPU and RAM.
On the other hand, it hasn't been updated for a long time, and its interface needs some improvements. Nevertheless, you can test it for yourself, since it's free and open source.