---

Manual Reference Pages  - mcc (n)

---

NAME

mcc      - High-Level Petri nets unfolder

Part of Tina Toolbox for analysis of Petri nets and Time Petri nets.

CONTENTS

Synopsis
Description
Options
Examples
See Also
Authors

mcc [command] [flags]

mcc transforms High-Level Petri nets in PNML format into equivalent Place/Transition nets.

Usage:

mcc [command] Available Commands: help Help about any command info Print statistics or generate textual version for use with NetDraw (nd) lola Generate a P/T net using the LoLa format pnml Generate a P/T net using the PNML format skeleton Generate the skeleton of a colored net in .net format smpt Generate a P/T net file for use with SMPT tina Generate a P/T net file using Tina’s .net format version Print the version number Flags: -h, --help help for mcc -v, --version version for mcc Use "mcc [command] --help" for more information about a command.

mcc
mcc pnml -i model-COL.pnml -o model-PT.pnml

nd(n), tina(n), plan(n), struct(n), ktzio(n), ndrio(n), tedd(n), selt(n), sift(n), pathto(n), scan(n), play(n), walk(n), reduce(n), formats(n), stan(n)

Silvano Dal Zilio, LAAS/CNRS, 2019-2026, dalzilio@laas.fr.