private void determineRemainingTransition() {
		myTransitionsMap=new HashMap <Integer, ArrayList <String>>();
		myNeededTransitionMap=new HashMap <Integer, ArrayList <String>>();
		myReadSets=new TreeSet <String>();
		myStateMap=new HashMap <Integer, State>();
		State[] s=automaton.getStates();
		for (int i=0; i<s.length; i++)
		{
			myTransitionsMap.put(s[i].getID(), new ArrayList <String>());
			myStateMap.put(s[i].getID(), s[i]);
		}
		
		Transition[] t=automaton.getTransitions();
		for (int i=0; i<t.length; i++)
		{
			myReadSets.add(t[i].getDescription());
			int id=t[i].getFromState().getID();
			ArrayList <String> temp=myTransitionsMap.get(id);
			temp.add(t[i].getDescription());
			myTransitionsMap.put(id, temp);
		}
		
		for (Integer key : myTransitionsMap.keySet())
		{
			ArrayList <String> temp=new ArrayList <String>();
			for (String alpha : myReadSets)
			{
				if (!myTransitionsMap.get(key).contains(alpha))
				{
					temp.add(alpha);
					remaining++;
				}
			}
			myNeededTransitionMap.put(key, temp);
		}
		
	/*	System.out.println("Read Sets = "+myReadSets);
		System.out.println("MAP = "+myTransitionsMap);
		System.out.println("NEEDED MAP = "+myNeededTransitionMap);
	*/	
	}