314
316
mapping.addMapping(tapn.name(), timedTransition.name(), uniqueTransitionName);
318
320
messenger.displayInfoMessage("There are orphan transitions (no incoming and no outgoing arcs) in the model."
319
321
+ System.getProperty("line.separator") + "They will be removed before the verification.");