The LTSmin model checking toolset

High-Level Nets Blaster for the Model-Checking Contest

Nets is a Go library for parsing Petri nets, and Time Petri nets, written using the textual description format of the Tina toolbox

Generating event-triggered code from Petri nets [C and Erlang]

Simple .NET implementation of the Petri Net Markup Language (PNML), limited to Place-Transition-(PT)-Nets

Model Checker Collection for the Model Checking Contest @ Petri nets

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

Python simulation for the paper https://arxiv.org/abs/1905.04708.

Simple Java implementation of the Petri Net Markup Language (PNML), limited to Place-Transition-(PT)-Nets

A library to describe Petri nets and [de]serialize them as PNML XML files

Appyling pNML for deep nerual networks by purnning

Python experiments for https://arxiv.org/abs/1904.12286.