From 54845b2a4abd82728e3a123255001da31e4f202c Mon Sep 17 00:00:00 2001
From: Joeri Exelmans <joeri.exelmans@gmail.com>
Date: Wed, 4 Dec 2024 15:50:56 +0100
Subject: [PATCH] forgot to include WorkerSet in Port-model

---
 examples/semantics/operational/port/models.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/examples/semantics/operational/port/models.py b/examples/semantics/operational/port/models.py
index 162e753..dd7e7a3 100644
--- a/examples/semantics/operational/port/models.py
+++ b/examples/semantics/operational/port/models.py
@@ -383,6 +383,11 @@ smaller_model2_cs = """
         shipCapacity = 1;
     }
     :capacityOf (passageCap -> berth)
+
+    workers:WorkerSet {
+        numWorkers = 1;
+    }
+    :canOperate (workers -> berth)
 """
 
 smaller_model2_rt_cs = smaller_model2_cs + """
@@ -397,4 +402,6 @@ smaller_model2_rt_cs = smaller_model2_cs + """
     gen2waitState:ConnectionState { moved = False; }  :of (gen2waitState -> gen2wait)
     wait2berthState:ConnectionState { moved = False; }  :of (wait2berthState -> wait2berth)
     berth2servedState:ConnectionState { moved = False; }  :of (berth2servedState -> berth2served)
+
+    workersState:WorkerSetState  :of (workersState -> workers)
 """