This free and open source tool converts 1-Safe Place/Transition Petri Nets from the PNML standard format into the Nested-Units Petri Net (NUPN) format. Note that the Caesar.bdd tool can translate Nested-Units Petri Nets from the NUPN format into PNML.

Download the PNML to NUPN converter from the dedicated page.

Execution

PNML to NUPN Converter simply be run on the command line. It is expecting either a set of paths to PNML files, or to folders containing them, or a mix of files and folders. It scans folders recursively, looking for PNML files.

Usage information is available on the usage page.

Supported Standard Petri Net Type

This tool only supports Place/Transition (P/T) Nets, that are 1-Safe.

Acknowledgement

The development of many features of this tool has benefited from the insightful advice of and exciting discussions with Hubert Garavel and Fabrice Kordon. I would like to thank them for their meaningful contributions.