The Army of Darkness Release

This release add a new subcommand (mcc skeleton) for generating the skeleton of a colored net using TINA 's .net format.

Command mcc hlnet has been replaced with a new command, mcc info, which provides similar functionalities.

command mcc pnml now returns models that use "structured" place/transition names by default. We also ensure that the XML attributes for place names and IDs are equal. Finally, we added a new option, --properties, which adds traceability information between identifiers in the P/T and COL models. This information is included into the resulting PNML file using a <toolspecific> element.

The Inception Release

This release add a new subcommand (mcc tina) for generating output in TINA 's .net format.

There are no breaking changes to the tool.

Other minor update include: correction to the PNML output so that we avoid generating duplicate arc ids (which was possible previously in some circumstances).

Companion Release for a Tool Paper on MCC

This release is a companion for a tool paper entitled: "MCC: a Tool for Unfolding Colored
Petri Nets in PNML Format."

This new version provides a new sub-command (mcc pnml) that generates the result as a
PNML file (following standard ISO15909-1).

Other minor additions include:

• we added option --stats to sub-command mcc hlnet that prints basic statistics
  on the unfolded net (number of places and transitions) and computation time.

• we modified option --debug to add more information in the form of TINA' s nodes

• we have added new examples of colored model

Release for MCC 2020, the MCC does Paris

We have updated the mcc tool in order to support the declaration of
finiteintrange types in PNML. as well
as the declaration of Partition and PartitionElement. This means
that we can now unfold model VehicularWifi (surprise model in 2019)