Index: trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java
===================================================================
--- trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java	(revision 69)
+++ trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java	(revision 70)
@@ -10,4 +10,6 @@
 	
 	public int getNumStates();
+	
+	public String[] getStateStrings();
 
 }
Index: trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java
===================================================================
--- trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java	(revision 69)
+++ trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java	(revision 70)
@@ -89,4 +89,14 @@
 		return trie.getNumSymbols();
 	}
+	
+	public String[] getStateStrings() {
+		String[] stateStrings = new String[getNumStates()];
+		int i=0;
+		for( Event<?> symbol : trie.getKnownSymbols() ) {
+			stateStrings[i] = symbol.toString();
+			i++;
+		}
+		return stateStrings;
+	}
 
 }
