From b944ece747a011e1cbd11c397c58fe841ea06f48 Mon Sep 17 00:00:00 2001 From: Joeri Exelmans Date: Wed, 30 Oct 2024 03:14:50 +0100 Subject: [PATCH] Let's keep it simple --- examples/semantics/operational/port/assignment.py | 4 +--- examples/semantics/operational/port/models.py | 2 +- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/examples/semantics/operational/port/assignment.py b/examples/semantics/operational/port/assignment.py index b448265..a7ae221 100644 --- a/examples/semantics/operational/port/assignment.py +++ b/examples/semantics/operational/port/assignment.py @@ -139,6 +139,4 @@ def termination_condition(od): # TO IMPLEMENT: terminate simulation when the place 'served' contains 2 ships. - if len(od.get_all_instances("Place")) > 5: - return "More places than I can count :(" - + pass diff --git a/examples/semantics/operational/port/models.py b/examples/semantics/operational/port/models.py index 74607b5..0ee07ce 100644 --- a/examples/semantics/operational/port/models.py +++ b/examples/semantics/operational/port/models.py @@ -263,7 +263,7 @@ port_rt_m_cs = port_m_cs + """ time = 0; } - waitingState:PlaceState { numShips = 2; } :of (waitingState -> waiting) + waitingState:PlaceState { numShips = 0; } :of (waitingState -> waiting) inboundPassageState:PlaceState { numShips = 0; } :of (inboundPassageState -> inboundPassage) outboundPassageState:PlaceState { numShips = 0; } :of (outboundPassageState -> outboundPassage)