petri-nets topic

[Deprecated, use flor_core instead] A Rails engine which providing essential infrastructure of workflow. It's based on Workflow Nets.

rails-engine

Using for petri nets simulations

WhiteGL

Workflow management system fully supporting low-code language Petriflow.

netgrif

SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).

nicolasAmat

Next-generation end-to-end low code language based on Petri nets.

netgrif

Homepage for the Coloured Petri Nets book

lmkr

Python Implementation of Decay Replay Mining (DREAM)

Julian-Theis

Toolset to capture, simulate, synthesize and verify graph models

workcraft

Petri Net simulation and diagramming

aslakhellesoy

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

lambdamikel