A multi-formalism, multi-solution model-checker centered on the language GAL
-
Updated
May 23, 2024 - Python
A multi-formalism, multi-solution model-checker centered on the language GAL
A process mining tool written in Python3
Kong is a tool to compute the concurrency relation of a Petri using nets reduction (polyhedral approach).
AdVersarial system vArianT AppRoximation - A novel method to measure the generalization of process models
Model Checker Collection for the Model Checking Contest @ Petri nets
Transform Coloured Petri Nets in PNML format to equivalent Petri Nets
A streamlit web app "Process Mining training" - "Alpha Miner" module
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
A Python module for modeling Karmada based Multi-Cluster Infrastructures using PetriNets
Add a description, image, and links to the petri-net topic page so that developers can more easily learn about it.
To associate your repository with the petri-net topic, visit your repo's landing page and select "manage topics."