petrinet

Provides tools for managing a workflow or finite state machine

Petri Net Workflow Engine for Ruby.

A Business Processes and Logs Generator

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

Petri Net simulation and diagramming

Petrinet.org interactive playground website

A Petri net based automation engine.

PetriNet toolset for swift

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

Simple Petrinet viewer / simulator...

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

Generate HTML from JS or Lua models & view Petri-net simulations in a browser

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

Statebox studio + core + API + REST client

JavaScript / Typescript library of Petriflow objects

Model-Based Testing tool for web application

Viewer for TPBT representations as Petri nets

a little bit of help for my lecture about petrinets

calculate specifications of a given petri net using the incident matrix in java

TLA+ modules and specifications for Petri nets 🕸