JPeNS

The Java Petri Network Simulator, or JPeNS for short, is a JAVA-based program that aids in the visual representation and learning of Petri Networks in an interactive way. It is meant to give the user both a hands-on and visual experience while learning about these networks by providing real-time feedback when transitions fire. To facilitate information-sharing there is import/export functionality built-in that allows learners to share their graphs with one another.