1 files changed, 1 insertions, 0 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java
index ed2ff33d..4da609fa 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/actions/BoundAction.java
@@ -23,6 +23,7 @@ public class BoundAction {
         }
 
         public boolean fire(Tuple activation) {
+                model.checkCancelled();
                 if (this.activation != null) {
                         throw new IllegalStateException("Reentrant firing is not allowed");
                 }