Index: trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgenerateTaskTree.java
===================================================================
--- trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgenerateTaskTree.java	(revision 2045)
+++ trunk/autoquest-ui-core/src/main/java/de/ugoe/cs/autoquest/commands/usability/CMDgenerateTaskTree.java	(revision 2132)
@@ -45,5 +45,6 @@
     @Override
     public String help() {
-        return "generateTaskTree <sequences> {<tasktree>}";
+        return "generateTaskTree <sequences> {<tasktree>} {-considerEventEquality} " +
+            "{-minimumSequenceCoverage=<some integer>}";
     }
 
@@ -56,17 +57,57 @@
     @Override
     public void run(List<Object> parameters) {
-        String sequencesName;
-        String tasktreeName;
+        String sequencesName = null;
+        String tasktreeName = null;
+        boolean useEventEqualityForTaskComparison = false;
+        int minimumSequenceCoverage = 0;
+        
         try {
-            sequencesName = (String) parameters.get(0);
-            if (parameters.size() > 1) {
-                tasktreeName = (String) parameters.get(1);
-            }
-            else {
-                tasktreeName = "tasktree";
+            for (int i = 0; i < parameters.size(); i++) {
+                String parameter = (String) parameters.get(i);
+                if (!parameter.startsWith("-")) {
+                    if (sequencesName == null) {
+                        sequencesName = parameter;
+                    }
+                    else if (tasktreeName == null) {
+                        tasktreeName = parameter;
+                    }
+                    else {
+                        throw new IllegalArgumentException("unrecognized parameter: " + parameter);
+                    }
+                }
+                else {
+                    if ("-considerEventEquality".equals(parameter)) {
+                        useEventEqualityForTaskComparison = true;
+                    }
+                    else if (parameter.startsWith("-minimumSequenceCoverage=")) {
+                        try {
+                            minimumSequenceCoverage = Integer.parseInt
+                                (parameter.substring("-minimumSequenceCoverage=".length()));
+                        }
+                        catch (Exception e) {
+                            throw new IllegalArgumentException
+                                ("invalid value for parameter minimumSequenceCoverage: " +
+                                 parameter.substring("-minimumSequenceCoverage=".length()));
+                        }
+                    }
+                    else {
+                        throw new IllegalArgumentException("unrecognized parameter: " + parameter);
+                    }
+                }
             }
         }
+        catch (IllegalArgumentException e) {
+            throw e;
+        }
         catch (Exception e) {
+            throw new IllegalArgumentException("could not process parameters", e);
+        }
+        
+        if (sequencesName == null) {
             throw new IllegalArgumentException("must provide a sequences name");
+        }
+        
+        if (tasktreeName == null) {
+            tasktreeName = "tasktree";
         }
 
@@ -84,5 +125,6 @@
         sequences = (Collection<List<Event>>) dataObject;
         
-        ITaskModel taskModel = new TaskTreeManager().createTaskModel(sequences);
+        ITaskModel taskModel = new TaskTreeManager().createTaskModel
+            (sequences, useEventEqualityForTaskComparison, minimumSequenceCoverage);
         
         if (GlobalDataContainer.getInstance().addData(tasktreeName, taskModel)) {
Index: trunk/autoquest-ui-core/src/main/resources/manuals/generateTaskTree
===================================================================
--- trunk/autoquest-ui-core/src/main/resources/manuals/generateTaskTree	(revision 2045)
+++ trunk/autoquest-ui-core/src/main/resources/manuals/generateTaskTree	(revision 2132)
@@ -5,4 +5,14 @@
 <tasktree> name of the object to store the task model in (defaults to "tasktree")
 
+-considerEventEquality
+    to be provided if the events equal method shall be used for event comparison. This can
+    accelerate the comparison process
+
+-minimumSequenceCoverage=<some integer>
+    can be used to define a minimum number of events that shall be covered by the detected
+    sequences. This prevents the detection of sequences that mainly represent noise.
+
 Example(s)
 generateTaskTree sequences tasktree
+generateTaskTree sequences -considerEventEquality
+generateTaskTree sequences tasktree -considerEventEquality -minimumSequenceCoverage=10
