8
8
public class DeleteTimedTransitionCommand extends TAPNElementCommand {
9
9
private final TimedTransitionComponent transition;
12
12
public DeleteTimedTransitionCommand(TimedTransitionComponent transition, TimedArcPetriNet tapn, DataLayer guiModel) {