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

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.

Find deadlocks in Rust code with Petri net model checking

A basic worker pool manager for Erlang to showcase gen_pnet.

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

A process mining tool written in Python3

Petri Net simulation and diagramming

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

A Petri net based automation engine.

[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

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