diff --git a/model.ts b/model.ts
index 7ac308c..bf8dbbe 100644
--- 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
index ec51c8c..43a8bc0 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@pflow-dev/metamodel",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "@pflow-dev/metamodel",
-      "version": "0.4.0",
+      "version": "0.5.0",
       "license": "MIT",
       "devDependencies": {
         "@babel/core": "^7.14.3",
diff --git a/package.json b/package.json
index f349743..1f2cfcc 100644
--- 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",