You can download PNEditor from pneditor-org-hrd.appspot.com
Features:
- Petri net editor
- Subnets
- Role definitions
- Static places (shared resources)
- PNML import and export (Viptool non-standard dialect)
- EPS and PNG export
Code license: GNU GPL v3
Requirements: Java SE 6+