Conflict place and transition naming #130
Description
If a place and a transition are given the same name, no error is given.
After saving and loading, some arrows switched source or destination between those two objects.
{{ message }}
If a place and a transition are given the same name, no error is given.
After saving and loading, some arrows switched source or destination between those two objects.