fix bug when adjusting arc weight of inhibitors

pflow-xyz · Dec 26, 2023 · 8225933 · 8225933
1 parent e7f2d7e
commit 8225933
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 10 deletions.
diff --git a/model.ts b/model.ts
@@ -883,16 +883,14 @@ export function newModel({schema, declaration, type}: ModelOptions): Model {
         if (!place || !transition) {
             throw new Error("invalid arc");
         }
-        if (arc.inhibit) { // was inhibitor
-            transition.guards.delete(place.label);
-            if (arc.target?.place) {
-                transition.delta[place.offset] = arc.weight;
-            } else if (arc.source?.place) {
-                transition.delta[place.offset] = 0 - arc.weight;
+        if (arc.inhibit) {
+            const g = transition.guards.get(place.label);
+            if (g) {
+                g.delta[place.offset] = 0 - arc.weight;
             } else {
                 throw new Error("invalid arc");
             }
-        } else { // was not inhibitor
+        } else {
             if (arc.target?.place) {
                 transition.delta[place.offset] = arc.weight;
             } else if (arc.source?.place) {

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@pflow-dev/metamodel",
-  "version": "0.7.0",
+  "version": "0.7.1",
   "main": "/index.js",
   "types": "/index.d.ts",
   "description": "create workflows and petriNets with a DSL",