Index: trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java
===================================================================
--- trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java	(revision 247)
+++ trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDmodelSize.java	(revision 249)
@@ -47,5 +47,6 @@
 		IStochasticProcess process = (IStochasticProcess) dataObject;
 		Console.println("#symbols: " + process.getNumSymbols()
-				+ " ; #FOMstates " + process.getNumFOMStates());
+				+ " ; #FOMstates " + process.getNumFOMStates()
+				+ " ; #transitions: " + process.getNumTransitions());
 	}