petri-net

Orchestrate microservice-based process flows

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

Petri Net Workflow Engine for Ruby.

🚥 Petrinet framework for PHP

library for modeling Petri nets in Erlang

The LTSmin model checking toolset

Using for petri nets simulations

Find deadlocks in Rust code with Petri net model checking

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.

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

A basic worker pool manager for Erlang to showcase gen_pnet.

A process mining tool written in Python3

Petri Net simulation and diagramming

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

[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

A Petri net based automation engine.

Heuristics Miner in R and integrated with the bupaR framework.

A suite of tools for Petri Nets

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

Simple Petri net editor and simulator