[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
#
petri-nets
Here are 138 public repositories matching this topic...
Toolset to capture, simulate, synthesize and verify graph models
fsm async simulation eda cad petri-nets circuit formal-verification logic-synthesis stg formal-specification
-
Updated
Dec 23, 2024 - Java
Python Implementation of Decay Replay Mining (DREAM)
events data-science machine-learning data-mining deep-learning prediction python3 processmining petri-nets discrete-event process-mining eventlogs xes pm4py processmodels decay-replay
-
Updated
Dec 8, 2022 - Python
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
linear-algebra reachability abstraction model-checking petri-nets smt model-checker sat reductions reachability-analysis structural-reductions smt-solving
-
Updated
Nov 14, 2023 - Python
Workflow management system fully supporting low-code language Petriflow.
-
Updated
Dec 24, 2024 - Java
Petri Net simulation and diagramming
-
Updated
May 20, 2021 - Ruby
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
lisp ai common-lisp classic classification petri-nets state-machines description-logics clim commonlisp visual-languages lispworks er-diagrams visual-formalisms visual-parsing rcc-relations
-
Updated
Mar 13, 2021 - Common Lisp
Homepage for the Coloured Petri Nets book
-
Updated
Jun 23, 2019
Next-generation end-to-end low code language based on Petri nets.
-
Updated
Sep 24, 2024
[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
julia petri petri-net petri-nets sequential timed grafcet maxplus max-plus timed-petri-nets graph-event sequential-function-chart
-
Updated
Jul 18, 2024 - C++
A Petri net based automation engine.
c-plus-plus library state-machine robotics controller engine workflow-engine event-driven finite-state-machine petri petri-net petrinet petri-nets statemachine
-
Updated
May 26, 2024 - C++
A model checker for safe Petri nets based on partial-order semantics
concurrency planning model-checking petri-nets formal-verification unfolding partial-order-reduction
-
Updated
Nov 30, 2020 - C++
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
monoid petri-nets span hypergraph symmetric-monoidal-categories operad monoidal-categories frobenius-algebras cospan temperley-lieb brauer en-algebra
-
Updated
Oct 12, 2024 - Rust
A Production Flow Description Language for an Order-Centric Production
python scheduler production tasks python3 description-language petri-nets domain-specific-language industry-4 antlr4-grammar antlr4-python3 industry-40 order-controlled-production
-
Updated
Nov 6, 2024 - Python
A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).
-
Updated
Nov 13, 2024 - Python
A Simple Petri Net Editor and Simulator written in Common Lisp with CLIM (Common Lisp Interface Manager) GUI
-
Updated
Mar 24, 2021 - Common Lisp
A Julia interface to a distributed task-based workflow management system
hpc parallel-computing distributed-computing petri-nets workflows computer-algebra-system julia-package distributed-workflow parallel-workflow julia-parallel
-
Updated
Jul 18, 2024 - Julia
SimPN (Simulation with Petri Nets) is a package for discrete event simulation in Python.
-
Updated
Dec 4, 2024 - Python
Improve this page
Add a description, image, and links to the petri-nets topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the petri-nets topic, visit your repo's landing page and select "manage topics."