Software

Petri nets constitute a powerful and flexible framework for modelling discrete-event systems, and yet the selection of mature and well-maintained software tools is not particularly wide. How come? Petri nets have already inspired a few other frameworks such as Grafcet and SFC for PLC programming, as we discuss in the overview of the literature. The “vanilla version” of Petri nets then serves mainly for academic research.

Matlab

• Petri Net Toolbox (probably commercial, not immediately available for download)

Python

SNAKES (github)

Julia

• Petri.jl
• AlgebraicPetri.jl
• TimedPetriNetEditor.jl

Standalone

• TimedPetriNetEditor
• pn-editor (It uses pnrs, a safe rust wrapper for pns written in C)