Orchestrate microservice-based process flows

• UpdatedMar 13, 2025
• Scala

FlowCore is a Rails engine to help you build your automation or business process application.

• UpdatedSep 27, 2024
• Ruby

Petri Net Workflow Engine for Ruby.

• UpdatedMar 9, 2023
• Ruby

🚥 Petrinet framework for PHP

• UpdatedJan 25, 2021
• PHP

library for modeling Petri nets in Erlang

• UpdatedFeb 7, 2025
• Erlang

The LTSmin model checking toolset

• UpdatedOct 31, 2024
• C

Using for petri nets simulations

• UpdatedJan 17, 2018

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.

• UpdatedAug 22, 2024
• Java

Find deadlocks in Rust code with Petri net model checking

• UpdatedMar 17, 2025
• Rust

A multi-formalism, multi-solution model-checker centered on the language GAL

• UpdatedFeb 22, 2025
• Python

A basic worker pool manager for Erlang to showcase gen_pnet.

• UpdatedFeb 7, 2025
• Erlang

A process mining tool written in Python3

• UpdatedOct 13, 2018
• Python

Petri Net simulation and diagramming

• UpdatedMay 20, 2021
• Ruby

Next-generation end-to-end low code language based on Petri nets.

• UpdatedMar 11, 2025

[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

• UpdatedJul 18, 2024
• C++

A Petri net based automation engine.

• UpdatedMay 26, 2024
• C++

Heuristics Miner in R and integrated with the bupaR framework.

• UpdatedApr 3, 2023
• R

HPetriSim has a graphical editor which provides basic editing and simulation of Petri Nets.

• UpdatedApr 12, 2019
• C++

A suite of tools for Petri Nets

• UpdatedOct 26, 2022
• Erlang

Simple Petri net editor and simulator

• UpdatedFeb 22, 2021
• C++