PNEditor

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+.