pnml

Appyling pNML for deep nerual networks by purnning

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

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

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

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

Transform Coloured Petri Nets in PNML format to equivalent Petri Nets

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

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

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

An editor, a simulator, and a natural-language generator for Petri nets and Petri-object models, in one place

High-Level Nets Blaster for the Model-Checking Contest

The LTSmin model checking toolset