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...