Index: trunk/EventBenchCore/src/de/ugoe/cs/eventbench/coverage/CoverageCalculator.java
===================================================================
--- trunk/EventBenchCore/src/de/ugoe/cs/eventbench/coverage/CoverageCalculator.java	(revision 115)
+++ trunk/EventBenchCore/src/de/ugoe/cs/eventbench/coverage/CoverageCalculator.java	(revision 118)
@@ -178,10 +178,5 @@
 		double sum = 0.0;
 		for (List<? extends Event<?>> sequence : sequences) {
-			double prob = 1.0;
-			List<Event<?>> context = new LinkedList<Event<?>>();
-			for (Event<?> event : sequence) {
-				prob *= process.getProbability(context, event);
-				context.add(event);
-			}
+			double prob = process.getProbability(sequence);
 			subSeqWeights.put(sequence, prob);
 			sum += prob;
Index: trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java
===================================================================
--- trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java	(revision 115)
+++ trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/IStochasticProcess.java	(revision 118)
@@ -32,4 +32,13 @@
 	 */
 	double getProbability(List<? extends Event<?>> context, Event<?> symbol);
+	
+	/**
+	 * <p>
+	 * Returns the probabilitiy that a given sequence is generated by the stochastic process.
+	 * </p>
+	 * @param sequence sequences of which the probability is calculated
+	 * @return probability of the sequences; 1.0 if sequence is empty or null
+	 */
+	double getProbability(List<? extends Event<?>> sequence);
 
 	/**
Index: trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java
===================================================================
--- trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java	(revision 115)
+++ trunk/EventBenchCore/src/de/ugoe/cs/eventbench/models/TrieBasedModel.java	(revision 118)
@@ -274,8 +274,9 @@
 	 */
 	@Override
-	public Collection<List<? extends Event<?>>> generateValidSequences(int length) {
+	public Collection<List<? extends Event<?>>> generateValidSequences(
+			int length) {
 		// check for min-length implicitly done by generateSequences
-		Collection<List<? extends Event<?>>> allSequences = generateSequences(length,
-				true);
+		Collection<List<? extends Event<?>>> allSequences = generateSequences(
+				length, true);
 		Collection<List<? extends Event<?>>> validSequences = new LinkedHashSet<List<? extends Event<?>>>();
 		for (List<? extends Event<?>> sequence : allSequences) {
@@ -288,3 +289,23 @@
 	}
 
+	/*
+	 * (non-Javadoc)
+	 * 
+	 * @see
+	 * de.ugoe.cs.eventbench.models.IStochasticProcess#getProbability(java.util
+	 * .List)
+	 */
+	@Override
+	public double getProbability(List<? extends Event<?>> sequence) {
+		double prob = 1.0;
+		if (sequence != null) {
+			List<Event<?>> context = new LinkedList<Event<?>>();
+			for (Event<?> event : sequence) {
+				prob *= getProbability(context, event);
+				context.add(event);
+			}
+		}
+		return prob;
+	}
+
 }