<
From version < 5.1 >
edited by nbw
on 2014/05/09 13:26
To version < 4.1 >
edited by ssm
on 2014/05/05 18:40
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.nbw
1 +XWiki.ssm
Content
... ... @@ -16,36 +16,3 @@
16 16  
17 17  
18 18  Use this page to document your project goals...
19 -
20 -{{code linenumbers="true"}}
21 -state Foo
22 ---> Gleissegment with contact(Segment,0)
23 -state Gleissegment {
24 - entry / req(next_Segment);
25 - entry / setSignal(prevSegment, red);
26 -
27 - inital state Entry
28 - --> Continue with contact(Segment,0) & perm_next_Segment
29 - --> Slowdown with contact(Segment,0);
30 -
31 - state Slowdown {
32 - entry / setSpeed(Segment,SLOW);
33 - } --> Waiting with contact(Segment,1)
34 - --> Continue with perm_next_Segment;
35 -
36 - state Waiting {
37 - entry / setSpeed(Segment,BRAKE);
38 - } --> Continue with perm_next_Segment;
39 -
40 - state Continue {
41 - entry / setSignal(Segment,green);
42 - entry / setSpeed(Segment,full);
43 - entry / setSpeed(nextSegment,full);
44 - entry / setSignal(nextSegment, red);
45 - entry / free(prevSegment)
46 - entry / setSpeed(prevSegment,OFF);
47 - }--> leave immediate;
48 -
49 - final state leave;
50 -}
51 -{{/code}}
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -9470756
1 +9470751
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470756/Project goals
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470751/Project goals