[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.
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
Petri Net simulation and diagramming
Homepage for the Coloured Petri Nets book
Next-generation end-to-end low code language based on Petri nets.
A model checker for safe Petri nets based on partial-order semantics
[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 https://youtu.be/wsiF6u7DNVQ
A Petri net based automation engine.
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
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
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 lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).
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."