url);
automaton.addPorts();
System.out.println("Deadlock states:");
Iterator deadlockStates = automaton.deadlockStates().iterator();
while (deadlockStates.hasNext()) {
State state = (State) deadlockStates.next();
System.out.println(" " + state.getFullName());
}