petri-nets
Here are 150 public repositories matching this topic...
Language:All
Sort:Most stars
[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
Toolset to capture, simulate, synthesize and verify graph models
- Updated
Nov 3, 2025 - Java
SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral reductions).
- Updated
Jun 30, 2025 - Python
Python Implementation of Decay Replay Mining (DREAM)
- Updated
Dec 8, 2022 - Python
Workflow management system fully supporting low-code language Petriflow.
- Updated
Nov 5, 2025 - Java
Homepage for the Coloured Petri Nets book
- Updated
Jun 23, 2019
SimPN (Simulation with Petri Nets) is a package for discrete event simulation in Python.
- Updated
Nov 6, 2025 - Python
An Editor with Generic Semantics for Formal Reasoning About Visual Notations
- Updated
Mar 13, 2021 - Common Lisp
[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
- Updated
Jul 18, 2024 - C++
Next-generation end-to-end low code language based on Petri nets.
- Updated
Oct 1, 2025
A Petri net based automation engine.
- Updated
Jul 21, 2025 - C++
A Julia interface to a distributed task-based workflow management system
- Updated
Oct 20, 2025 - Julia
A model checker for safe Petri nets based on partial-order semantics
- Updated
Nov 30, 2020 - C++
A lightweight tool for modeling and simulation of Stochastic Petri Nets (SPNs).
- Updated
Sep 16, 2025 - Python
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
- Updated
May 21, 2025 - Rust
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 Production Flow Description Language for an Order-Centric Production
- Updated
Jan 27, 2025 - Python
Improve this page
Add a description, image, and links to thepetri-nets topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thepetri-nets topic, visit your repo's landing page and select "manage topics."