Provides tools for managing a workflow or finite state machine

Petri Net Workflow Engine for Ruby.

A Business Processes and Logs Generator

Petri Net simulation and diagramming

A core library for Sicope Model, a Model-Based Testing tool for web application.

A Petri net based automation engine.

Petrinet.org interactive playground website

A C/C++ PetriNet simulator (aka non-UI CPN Tools)

PetriNet toolset for swift

Simple Petrinet viewer / simulator...

Generating event-triggered code from Petri nets [C and Erlang]

JavaScript / Typescript library of Petriflow objects

A Python module for modeling Karmada based Multi-Cluster Infrastructures using PetriNets

Model-Based Testing tool for web application

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

Statebox studio + core + API + REST client

A custom design studio for modeling and simulating distributed systems as Petri (place/transition) Nets, built with JointJS, WebGME, and NodeJS.

TLA+ specifications for Petri nets

Viewer for TPBT representations as Petri nets

A tool to draw Petri Nets and analyze their static and dynamic behavior.