~tapaal-contributor/tapaal/places-with-same-name-shared-1801728

Works for transitions as well as places

added added

removed removed

currentMarking.addMarking(tapn, marking);

tapn.setMarking(currentMarking);

}

public void add(SharedTransition sharedTransition){

add(sharedTransition, false);

}

public void add(SharedTransition sharedTransition, boolean multiAdd){

Require.that(sharedTransition != null, "sharedTransition must not be null");

Require.that(!isNameUsed(sharedTransition.name()), "There is already a transition or place with that name");

if(!multiAdd) {

Require.that(!isNameUsed(sharedTransition.name()), "There is already a transition or place with that name");

}

sharedTransition.setNetwork(this);

sharedTransitions.add(sharedTransition);