@wires There are labels for transitions exported under "names" but no labels for places. Is there a specific reason for this? Label for places can be useful, e.g., here for generating trait constraints for this file. In this specific example, all the T1 to T19 could be the place labels.
