petrinet

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 Petri net based automation engine.

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

Petrinet.org interactive playground website

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

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

PetriNet toolset for swift

Simple Petrinet viewer / simulator...

Model-Based Testing tool for web application

TLA+ specifications for Petri nets

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

JavaScript / Typescript library of Petriflow objects

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

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

Statebox studio + core + API + REST client

MyPetri is a Petri Net Place and Transition diagramming tool to accurately capture behaviors of high level distributed systems. Bounded or unbounded.

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets