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

A process mining tool written in Python3

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

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

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

Model Checker Collection for the Model Checking Contest @ Petri nets

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

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.

Process mining pipeline: discovery, conformance checking (as-is vs to-be), KPI/bottleneck analysis, and a Streamlit dashboard for ERP-style event logs (O2C/P2P).

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

Hierarchical workflow engine

solutions des tps du module de modelisation et simulation (graphe de petrie)

Finite Smart Contract Protocol

A Simple Tool Implementation of Petri-Net

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

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.

Basic Petri net implementation with OOP.

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

SCPN Control — Neuro-Symbolic Stochastic Petri Net Controller for Tokamak Plasma Control