[Deprecated, use flor_core instead] A Rails engine which providing essential infrastructure of workflow. It's based on Workflow Nets.
-
Updated
May 22, 2020 - Ruby
[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
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
Python Implementation of Decay Replay Mining (DREAM)
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
Next-generation end-to-end low code language based on Petri nets.
Homepage for the Coloured Petri Nets book
[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
A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI
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 Production Flow Description Language for an Order-Centric Production
A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
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."