JPetriNet

JPetriNet is a software intended to be used to model, analysis conventional Petri Nets and to simulate Timed Petri Nets.
To download the software or join the development team, please go to the link:
JPetriNet at SourceForge

How to run:

java -jar jpetrinet-1.1.jar

Demo snapshot: