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

Toolset to capture, simulate, synthesize and verify graph models

Using for petri nets simulations

Python Implementation of Decay Replay Mining (DREAM)

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

Parses a Petri net and runs it

Workflow management system fully supporting low-code language Petriflow.

Petri Net simulation and diagramming

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

Homepage for the Coloured Petri Nets book

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

[Application][Version 0.4.0][Functional] A timed Petri net and graph event editor and simulator combined to (max,+) algebra with wrapped API for Julia lang

A Petri net based automation engine.

A model checker for safe Petri nets based on partial-order semantics

Utilities for cospans, wiring diagrams, frobenius algebras , spans, en operads and petri nets along with more basic utilities for morphisms in (symmetric) monoidal categories, flavors of FinSet, operads and nicely presented monoids

A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI

A Production Flow Description Language for an Order-Centric Production

A Julia interface to a distributed task-based workflow management system

A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).

A minimalist Petri net editor.