Parse (but ignore) Tina labels.
Add Tina net name to the Petri net.
Add time intervals to transitions.
Parse Tina’s nets time intervals.
Code cleanup.
Use lambdas to update places and transitions with Boost.MultiIndex