Changes for page Project goals
Last modified by Alexander Schulz-Rosengarten on 2025/01/30 12:05
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. nbw1 +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 -947075 61 +9470751 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/947075 6/Project goals1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/SS14Railway/pages/9470751/Project goals