From: pimjager <pim@pimjager.nl>
Date: Tue, 14 Jun 2016 08:35:18 +0000 (+0200)
Subject: traingate
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=5cce15ccdc4bd271b918f9caa17e7efdf64a85b9;p=mc1516the.git

traingate
---

diff --git a/uppaal/traingate.xml b/uppaal/traingate.xml
index 33f0fde..b16b716 100644
--- a/uppaal/traingate.xml
+++ b/uppaal/traingate.xml
@@ -167,9 +167,9 @@ chan approach, in, out, ex, lower, raise, down, up;</declaration>
 T = Train();
 G = Gate();
 C = Controller();
-Gezeik = Stupid();
+Syncer = Stupid();
 // List one or more processes to be composed into a system.
-system T, G, C, Gezeik;
+system T, G, C, Syncer;
     </system>
 	<queries>
 	</queries>