PNML to Coq Converter

This tool converts Place/Transition Petri Nets from the PNML standard format into the Coq theorem prover language.

Download it from the dedicated page.

Execution

PNML to Coq Converter can simply be run on the command line. It is expecting a set of paths to PNML files.

Usage information is available on the dedicated page.

Supported Standard Petri Net Type

This tool only supports Place/Transition (P/T) Nets.