The LTSmin model checking toolset
High-Level Nets Blaster for the Model-Checking Contest
Model Checker Collection for the Model Checking Contest @ Petri nets
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
An editor, a simulator, and a natural-language generator for Petri nets and Petri-object models, in one place
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
Petri nets for the BEAM, analysis first: boundedness, deadlocks, invariants and workflow soundness, cross-checked against TINA and LoLA
A library to describe Petri nets and [de]serialize them as PNML XML files
Place/transition Petri nets in AutomationML: AML Editor plugin, PNML/CAEX mapper, CLI and web app
Python experiments for https://arxiv.org/abs/1904.12286.
To associate your repository with the pnml topic, visit your repo's landing page and select "manage topics."