PNEditor
Easy-to-use Petri Net editor with subnets and role definitions.
PNEditor is a neat, easy-to-use Petri Net editor.
Main features:
- Petri net editor
- Subnets
- Role definitions
- Static places (shared resources)
- PNML import and export (Viptool non-standard dialect)
- EPS and PNG export
Requirements: Java SE 6+.