HiPS tool features to design and analyze hierarchical Petri nets
Carassius is a tool for editing of Petri nets and graphs.
Editor for Petri nets
Petri net framework for security related modeling and reasoning.
A language to describe petri nets.
Stratagem Model Checker
Synchronous Petri Nets' emulator
PetriNetExec a library for embedding Petri Nets into Java applications
a distributed cloud simulator written in Java
High Level Petri Net Editor and Simulator
A PIPE Extension for Performance Estimation and Resource Optimisation