Several transitions can be given the same name. When loading a file saved with such transitions, the reconstructed network has all arrows poiting to one of these transitions.
The attached screenshots show the original network and the same network after save/load.
I think the user interface could at least notify the user in this situation (that saving non-unique transition names may render incorrect results when loading).
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Simple network example with repeated transition names
Several transitions can be given the same name. When loading a file saved with such transitions, the reconstructed network has all arrows poiting to one of these transitions.
The attached screenshots show the original network and the same network after save/load.
I think the user interface could at least notify the user in this situation (that saving non-unique transition names may render incorrect results when loading).
Original network (two transitions named 'T0')
Same network after saving/loading previous one