Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java	(revision 129)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java	(revision 130)
@@ -46,5 +46,5 @@
 		}
 		if( !(dataObjectProcess instanceof IStochasticProcess) ) {
-			Console.printerrln("Object " + modelname + " not of type MarkovModel!");
+			Console.printerrln("Object " + modelname + " not of type IStochasticProcess!");
 			return;
 		}
Index: unk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistStates.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistStates.java	(revision 129)
+++ 	(revision )
@@ -1,51 +1,0 @@
-package de.ugoe.cs.eventbench.commands;
-
-import java.security.InvalidParameterException;
-import java.util.Arrays;
-import java.util.List;
-
-import de.ugoe.cs.eventbench.data.GlobalDataContainer;
-import de.ugoe.cs.eventbench.models.IStochasticProcess;
-import de.ugoe.cs.util.console.Command;
-import de.ugoe.cs.util.console.Console;
-
-public class CMDlistStates implements Command {
-
-	@Override
-	public void run(List<Object> parameters) {
-		String modelname = "";
-		boolean sort = false;
-		try {
-			modelname = (String) parameters.get(0);
-			if( parameters.size()==2 ) {
-				sort = Boolean.parseBoolean((String) parameters.get(1));
-			}
-		} catch (Exception e) {
-			throw new InvalidParameterException();
-		}
-		
-		IStochasticProcess model = null; 
-		Object dataObject = GlobalDataContainer.getInstance().getData(modelname);
-		if( dataObject==null ) {
-			Console.println("Model " + modelname + "not found in storage.");
-		}
-		else if( !(dataObject instanceof IStochasticProcess) ) {
-			Console.println("Object " + modelname + " is not a stochastic process!");
-		} else {
-			model = (IStochasticProcess) dataObject;
-			String[] stateStrings = model.getStateStrings();
-			if( sort ) {
-				Arrays.sort(stateStrings);
-			}
-			for( String stateString : stateStrings ) {
-				Console.println(stateString);
-			}
-		}
-	}
-
-	@Override
-	public void help() {
-		Console.println("Usage: listStates <modelName>");
-	}
-
-}
Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java	(revision 130)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDlistSymbols.java	(revision 130)
@@ -0,0 +1,51 @@
+package de.ugoe.cs.eventbench.commands;
+
+import java.security.InvalidParameterException;
+import java.util.Arrays;
+import java.util.List;
+
+import de.ugoe.cs.eventbench.data.GlobalDataContainer;
+import de.ugoe.cs.eventbench.models.IStochasticProcess;
+import de.ugoe.cs.util.console.Command;
+import de.ugoe.cs.util.console.Console;
+
+public class CMDlistSymbols implements Command {
+
+	@Override
+	public void run(List<Object> parameters) {
+		String modelname = "";
+		boolean sort = false;
+		try {
+			modelname = (String) parameters.get(0);
+			if( parameters.size()==2 ) {
+				sort = Boolean.parseBoolean((String) parameters.get(1));
+			}
+		} catch (Exception e) {
+			throw new InvalidParameterException();
+		}
+		
+		IStochasticProcess model = null; 
+		Object dataObject = GlobalDataContainer.getInstance().getData(modelname);
+		if( dataObject==null ) {
+			Console.println("Model " + modelname + "not found in storage.");
+		}
+		else if( !(dataObject instanceof IStochasticProcess) ) {
+			Console.println("Object " + modelname + " is not a stochastic process!");
+		} else {
+			model = (IStochasticProcess) dataObject;
+			String[] stateStrings = model.getSymbolStrings();
+			if( sort ) {
+				Arrays.sort(stateStrings);
+			}
+			for( String stateString : stateStrings ) {
+				Console.println(stateString);
+			}
+		}
+	}
+
+	@Override
+	public void help() {
+		Console.println("Usage: listStates <modelName>");
+	}
+
+}
Index: /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java	(revision 130)
+++ /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java	(revision 130)
@@ -0,0 +1,55 @@
+/**
+ * 
+ */
+package de.ugoe.cs.eventbench.commands;
+
+import java.security.InvalidParameterException;
+import java.util.List;
+
+import de.ugoe.cs.eventbench.data.GlobalDataContainer;
+import de.ugoe.cs.eventbench.models.IStochasticProcess;
+import de.ugoe.cs.util.console.Command;
+import de.ugoe.cs.util.console.Console;
+
+/**
+ * @author sherbold
+ *
+ */
+public class CMDmodelSize implements Command {
+
+	/* (non-Javadoc)
+	 * @see de.ugoe.cs.util.console.Command#run(java.util.List)
+	 */
+	@Override
+	public void run(List<Object> parameters) {
+		String modelname;
+		try {
+			modelname = (String) parameters.get(0);
+		} catch (Exception e) {
+			throw new InvalidParameterException();
+		}
+		
+		Object dataObject = GlobalDataContainer.getInstance().getData(modelname);
+		if( dataObject==null ) {
+			Console.printerrln("No model with name " + modelname + "found");
+			return;
+		}
+		if( !(dataObject instanceof IStochasticProcess) ) {
+			Console.printerrln("Object " + modelname + " not of type IStochasticProcess!");
+			return;
+		}
+		
+		IStochasticProcess process = (IStochasticProcess) dataObject;
+		Console.println("#symbols: " + process.getNumSymbols() + " ; #FOMstates " + process.getNumFOMStates());
+	}
+
+	/* (non-Javadoc)
+	 * @see de.ugoe.cs.util.console.Command#help()
+	 */
+	@Override
+	public void help() {
+		// TODO Auto-generated method stub
+
+	}
+
+}
Index: unk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDnumStates.java
===================================================================
--- /trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDnumStates.java	(revision 129)
+++ 	(revision )
@@ -1,40 +1,0 @@
-package de.ugoe.cs.eventbench.commands;
-
-import java.security.InvalidParameterException;
-import java.util.List;
-
-import de.ugoe.cs.eventbench.data.GlobalDataContainer;
-import de.ugoe.cs.eventbench.models.IStochasticProcess;
-import de.ugoe.cs.util.console.Command;
-import de.ugoe.cs.util.console.Console;
-
-public class CMDnumStates implements Command {
-
-	@Override
-	public void run(List<Object> parameters) {
-		String modelname = "";
-		try {
-			modelname = (String) parameters.get(0);
-		} catch (Exception e) {
-			throw new InvalidParameterException();
-		}
-		
-		IStochasticProcess model = null; 
-		Object dataObject = GlobalDataContainer.getInstance().getData(modelname);
-		if( dataObject==null ) {
-			Console.println("Model " + modelname + "not found in storage.");
-		}
-		else if( !(dataObject instanceof IStochasticProcess) ) {
-			Console.println("Object " + modelname + " is not a stochastic process!");
-		} else {
-			model = (IStochasticProcess) dataObject;
-			Console.println("" + model.getNumStates() + " states");
-		}
-	}
-
-	@Override
-	public void help() {
-		Console.println("Usage: numStates <modelName>");
-	}
-
-}