[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 182 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
Sep 7, 2026 - Java
SimPN (Simulation with Petri Nets) is a package for discrete event simulation in Python.
-
Updated
Sep 2, 2026 - 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
Jun 30, 2025 - Python
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
Homepage for the Coloured Petri Nets book
-
Updated
Jun 23, 2019
Workflow management system fully supporting low-code language Petriflow.
-
Updated
Sep 21, 2026 - 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
Sep 11, 2026 - Common Lisp
Next-generation end-to-end low code language based on Petri nets.
-
Updated
Sep 17, 2026
[Application][Version 0.5.0][Functional] A Petri net, timed event graph, GRAFCET editor, simulator, file exporter, combined with (max,+) algebra and wrapper for Julia language.
julia petri petri-net petri-nets sequential timed grafcet maxplus max-plus timed-petri-nets graph-event sequential-function-chart
-
Updated
Jun 7, 2026 - 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
Jul 21, 2025 - C++
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
May 13, 2026 - Julia
Deterministic beat generator powered by Petri nets. No AI, no LLMs — just math, music theory, and token flow.
-
Updated
Sep 13, 2026 - JavaScript
A timed, stochastic, resource-constrained Petri net / discrete-event engine for modeling business & R&D processes as living systems — budgets, portfolios, what-ifs, rNPV.
simulation julia decision-making julia-language agent-based-modeling petri-nets system-dynamics resource-allocation discrete-event-simulation stochastic-simulation portfolio-management strategic-planning
-
Updated
Aug 25, 2026 - Julia
A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).
-
Updated
May 19, 2026 - Python
Universal Stochastic Computing Framework for Neuromorphic Hardware — Rust SIMD engine, Python simulation, Verilog RTL, HDC/VSA, SCPN integration
rust fpga quantum simd verilog spiking-neural-networks petri-nets neuromorphic snn neuromorphic-computing stochastic-computing pyo3 edge-ai hyper-dimensional-computing
-
Updated
Sep 21, 2026 - Python
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++
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."