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

A process mining tool written in Python3

A Python module for modeling Karmada based Multi-Cluster Infrastructures using PetriNets

Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).

Model Checker Collection for the Model Checking Contest @ Petri nets

A streamlit web app "Process Mining training" - "Alpha Miner" module

AdVersarial system vArianT AppRoximation - A novel method to measure the generalization of process models

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

A sophisticated Petri Net simulator built with Python, featuring a modern GUI, parallel processing capabilities, and interactive animations.

Macchiato is a Petri Nets implementation for Python 3 with a focus of usability and scriptability.

A Simple Tool Implementation of Petri-Net

nwn-snakes is a Petri Net library supporting Nets within Nets modeling. It is a customized version of SNAKES, the Net Algebra Kit for Editors and Simulators developed by Franck Pommereau.

Finite Smart Contract Protocol

Hierarchical workflow engine

SoyutNet is a Petri net simulator that uses Python's asyncio task and synchronization utilities as backend.

Hobby open research project which aims to demonstrate the capabilities of PT net (Petri net) based formal methods in improvement of producer/consumer pipelines

Basic Petri net implementation with OOP.