Provides tools for managing a workflow or finite state machine

Petri Net Workflow Engine for Ruby.

A Business Processes and Logs Generator

Petrinet.org interactive playground website

A Petri net based automation engine.

PetriNet toolset for swift

Petri Net simulation and diagramming

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

JavaScript / Typescript library of Petriflow objects

Simple Petrinet viewer / simulator...

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

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

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

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

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

Model-Based Testing tool for web application

Category theoretic semantics of glued open Petri nets in Idris

school projects

TLA+ specifications for Petri nets

Viewer for TPBT representations as Petri nets