[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 Production Flow Description Language for an Order-Centric Production
A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI
Open Markov Proceses as TensorFlow objects, Petri Nets and Chemical Rxn Nets in Haskell
A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).
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
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."