set max constant to 0 if negative

TAPAAL · Jun 13, 2024 · 4b87e60 · 4b87e60
1 parent 10e8f9b
commit 4b87e60
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/Core/TAPN/TimedArcPetriNet.cpp b/src/Core/TAPN/TimedArcPetriNet.cpp
@@ -171,6 +171,9 @@ namespace TAPN {
                         maxConstant = maxConstant < maxArc ? maxArc : maxConstant;
                     }
                 }
+
+                // If maxConstant is never set, set it to 0
+                maxConstant = maxConstant < 0 ? 0 : maxConstant;
                 place->setMaxConstant(maxConstant);
 
                 for (auto* inhibitorArc : inhibitorArcs) {