diff --git a/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats b/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats
index c74487a33cb..cdd17778e92 100644
--- a/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats
+++ b/trunk/examples/Automata/regression/pn/operations/difference/BothSyncMethods.ats
@@ -45,7 +45,7 @@ assert(!accepts(differenceI, [a b]));
 assert(!accepts(differenceI, [a b c]));
 assert(!accepts(differenceI, [a c b]));
 assert(!accepts(differenceI, [c a b]));
-assert(numberOfTransitions(differenceI) == 4);
+assert(numberOfTransitions(differenceI) == 2);
 assert(numberOfPlaces(differenceI) == 9);