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)

PetriNet toolset for swift

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

Simple Petrinet viewer / simulator...

TLA+ specifications for Petri nets

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

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

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

Statebox studio + core + API + REST client

Viewer for TPBT representations as Petri nets

a little bit of help for my lecture about petrinets

Category theoretic semantics of glued open Petri nets in Idris

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

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

Backend Server for PetriStation: A collaborative Petri Net Editor

stupid simple net viewer based on d3/cola

Web Client for PetriStation: A collaborative Petri Net Editor

Prozess-Ketten-Generator PKG2

Petri Nets in Haskell

Process mining techniques for analyzing business processes and make them more efficient