petri-nets topic
List
petri-nets repositories
workflow_core
169
Stars
18
Forks
Watchers
[Deprecated, use flor_core instead] A Rails engine which providing essential infrastructure of workflow. It's based on Workflow Nets.
HSTPNSim
42
Stars
0
Forks
Watchers
Using for petri nets simulations
application-engine
20
Stars
5
Forks
Watchers
Workflow management system fully supporting low-code language Petriflow.
SMPT
27
Stars
4
Forks
Watchers
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
petriflow
15
Stars
3
Forks
Watchers
Next-generation end-to-end low code language based on Petri nets.
cpnbook
16
Stars
6
Forks
Watchers
Homepage for the Coloured Petri Nets book
PyDREAM
26
Stars
7
Forks
Watchers
Python Implementation of Decay Replay Mining (DREAM)
workcraft
55
Stars
142
Forks
Watchers
Toolset to capture, simulate, synthesize and verify graph models
petrinet
18
Stars
3
Forks
Watchers
Petri Net simulation and diagramming
GenEd
18
Stars
3
Forks
Watchers
An Editor with Generic Semantics for Formal Reasoning About Visual Notations