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: