Orchestrate microservice-based process flows
-
Updated
May 28, 2025 - Scala
#
petri-net
Here are 90 public repositories matching this topic...
FlowCore is a Rails engine to help you build your automation or business process application.
-
Updated
Sep 27, 2024 - Ruby
Petri Net Workflow Engine for Ruby.
-
Updated
Mar 9, 2023 - Ruby
The LTSmin model checking toolset
promela model-checking petri-net model-checker dve pnml linear-temporal-logic mu-calculus computation-tree-logic
-
Updated
Oct 31, 2024 - C
The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes. The library offers a broad range of basis analysis and utility functionality and, due to its open publishing model, can easily be extended.
graph bpmn process mdtree petri-net automaton hypergraph epc event-driven-process-chain rpst refined-process-structure-tree unfolding untangling modular-decomposition-tree behavioral-profile
-
Updated
Aug 22, 2024 - Java
Find deadlocks in Rust code with Petri net model checking
-
Updated
May 26, 2025 - Rust
A multi-formalism, multi-solution model-checker centered on the language GAL
-
Updated
May 20, 2025 - Python
A basic worker pool manager for Erlang to showcase gen_pnet.
-
Updated
Feb 7, 2025 - Erlang
Petri Net simulation and diagramming
-
Updated
May 20, 2021 - Ruby
A process mining tool written in Python3
-
Updated
Oct 13, 2018 - Python
Next-generation end-to-end low code language based on Petri nets.
-
Updated
Mar 25, 2025
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++
[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++
Heuristics Miner in R and integrated with the bupaR framework.
-
Updated
Apr 3, 2023 - R
HPetriSim has a graphical editor which provides basic editing and simulation of Petri Nets.
-
Updated
Apr 12, 2019 - C++
A suite of tools for Petri Nets
-
Updated
Oct 26, 2022 - Erlang
Improve this page
Add a description, image, and links to the petri-net topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the petri-net topic, visit your repo's landing page and select "manage topics."