Index: trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java
===================================================================
--- trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java	(revision 57)
+++ trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java	(revision 66)
@@ -7,5 +7,7 @@
 public interface IStochasticProcess {
 
-	public abstract List<? extends Event<?>> randomSequence();
+	public List<? extends Event<?>> randomSequence();
+	
+	public int getNumStates();
 
 }
Index: trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/Trie.java
===================================================================
--- trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/Trie.java	(revision 57)
+++ trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/Trie.java	(revision 66)
@@ -162,3 +162,7 @@
 		return rootNode.toString();
 	}
+	
+	public int getNumSymbols() {
+		return knownSymbols.size();
+	}
 }
Index: trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java
===================================================================
--- trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java	(revision 57)
+++ trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java	(revision 66)
@@ -85,4 +85,8 @@
 		return trie.toString();
 	}
+	
+	public int getNumStates() {
+		return trie.getNumSymbols();
+	}
 
 }