Petri Net simulation and diagramming

dependently typed Statebox (heavy WIP)

Decay Replay Mining to Predict Next Process Events

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

A tool for reachability and coverability in Petri nets.

a little bit of help for my lecture about petrinets

Category theoretic semantics of glued open Petri nets in Idris

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

A web server API that accepts a Petri net as input, executes its transitions, and streams its evolution (state changes) in real time via a WebSocket connection. A demo of its' usage is available on the webserver URL.

Visualization of the Bitcoin analysis including all the extracted Bitcoin addresses

build models using Petri-nets with an internal Domain Specific Language (DSL)

A tool for modeling Petri Nets