Toolset to capture, simulate, synthesize and verify graph models

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

Python Implementation of Decay Replay Mining (DREAM)

A Petri net based automation engine.

Homepage for the Coloured Petri Nets book

Workflow management system fully supporting low-code language Petriflow.

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

Framework that allows the design, execution and analysis of generalized stochastic Petri nets (GSPN). It allows capturing multi-robot problems as a GSPN and simulate the model.

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

An Editor with Generic Semantics for Formal Reasoning About Visual Notations

A simple domain specific language for specifying NFV network services (and VNFs) and mapping them to queuing petri nets (QPNs)

Parses a Petri net and runs it

Stochastic Model-checking Analyzer for Reliability and Timing

Petri Net simulation and diagramming

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 Tool Implementation of Petri-Net

Simple .NET implementation of the Petri Net Markup Language (PNML), limited to Place-Transition-(PT)-Nets

This project will implement simple automata and petri nets utilities for educational purposes.

JavaScript / Typescript library of Petriflow objects

Simple Java implementation of the Petri Net Markup Language (PNML), limited to Place-Transition-(PT)-Nets