traingate

[mc1516the.git] / uppaal / traingate.xml

diff --git a/uppaal/traingate.xml b/uppaal/traingate.xml
index 33f0fde..b16b716 100644 (file)
--- 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>\r
        <queries>\r
        </queries>\r