allow rentry & subnets

pflow-xyz · Nov 27, 2023 · 6f6f427 · 6f6f427
1 parent 5c575eb
commit 6f6f427
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 5 deletions.
diff --git a/model.ts b/model.ts
@@ -38,10 +38,15 @@ export interface Guard {
 export interface Transition extends TypeAnnotation{
     metaType: "transition";
     label: string;
-    delta: Vector;
     role: RoleDef;
-    guards: Map<string, Guard>; // REVIEW: difference w/ pflow-eth imp. which uses single guard vector
+    delta: Vector;
+    guards: Map<string, Guard>;
+    allowReentry: boolean;
     position: Position;
+    subnet?: {
+        m: Model;
+        type: "entry" | "exit";
+    };
 }
 
 export interface Arc extends TypeAnnotation {
@@ -129,6 +134,7 @@ export function newModel({schema, declaration, type}: ModelOptions): Model {
     function fn(label: string, role: RoleDef, position: Position): TxNode {
         const transition: Transition = {
             metaType: "transition",
+            allowReentry: false,
             label,
             role,
             position,

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.4.0",
+  "version": "0.5.0",
   "main": "/index.js",
   "types": "/index.d.ts",
   "description": "create workflows and petriNets with a DSL",