The nodes and arcs annotations in the Petri nets are now hidden in comments in the dot file. This has been done so in order to draw smaller graphs and improve the overall aspect of the graph structure.
Symmetric nets textual annotations are now handled. They are also hidden in comments.
