Toolset to capture, simulate, synthesize and verify graph models
-
Updated
May 31, 2024 - Java
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)
Homepage for the Coloured Petri Nets book
A Petri net based automation engine.
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.
A simple domain specific language for specifying NFV network services (and VNFs) and mapping them to queuing petri nets (QPNs)
Next-generation end-to-end low code language based on Petri nets.
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
Petri Net simulation and diagramming
Stochastic Model-checking Analyzer for Reliability and Timing
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
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.
Ecofolder is a sotware for unfolding Petri nets with resets according to the McMillan and the Esparza/Römer/Vogler unfolding algorithms.
JavaScript / Typescript library of Petriflow objects
Add a description, image, and links to the petri-nets topic page so that developers can more easily learn about it.
To associate your repository with the petri-nets topic, visit your repo's landing page and select "manage topics."