fixed wrong k-bound

TAPAAL · Nov 27, 2023 · c03739c · c03739c
1 parent 9556417
commit c03739c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/dk/aau/cs/model/tapn/TimedArcPetriNet.java b/src/main/java/dk/aau/cs/model/tapn/TimedArcPetriNet.java
@@ -661,7 +661,7 @@ private int countTokens(Expression expression, int numberOf) {
 	    for (ExprStringPosition exprStringPosition : expression.getChildren()) {
 	        Expression child = exprStringPosition.getObject();
 	        if (child instanceof AllExpression) {
-	            result += ((AllExpression) child).size();
+	            result += ((AllExpression) child).size() * numberOf;
             } else if (child instanceof NumberOfExpression) {
 	            result += (countTokens(child, ((NumberOfExpression) child).getNumber()));
             } else {