#

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

### SYNOPSIS

> mcc [command] [flags]

### DESCRIPTION

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

### OPTIONS

> 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.

### EXAMPLES

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

### SEE ALSO

> 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)

### AUTHORS

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

Tina Tools | mcc (n) | Version 4.0.0

Generated by manServer 1.07 from src/mcc.n using man macros.