PNEditor (Petri Net editor)

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+