Project goals
Version 5.1 by nbw on 2014/05/09 13:26
Use this page to document your project goals...
state Foo
--> Gleissegment with contact(Segment,0)
state Gleissegment {
entry / req(next_Segment);
entry / setSignal(prevSegment, red);
inital state Entry
--> Continue with contact(Segment,0) & perm_next_Segment
--> Slowdown with contact(Segment,0);
state Slowdown {
entry / setSpeed(Segment,SLOW);
} --> Waiting with contact(Segment,1)
--> Continue with perm_next_Segment;
state Waiting {
entry / setSpeed(Segment,BRAKE);
} --> Continue with perm_next_Segment;
state Continue {
entry / setSignal(Segment,green);
entry / setSpeed(Segment,full);
entry / setSpeed(nextSegment,full);
entry / setSignal(nextSegment, red);
entry / free(prevSegment)
entry / setSpeed(prevSegment,OFF);
}--> leave immediate;
final state leave;
}
--> Gleissegment with contact(Segment,0)
state Gleissegment {
entry / req(next_Segment);
entry / setSignal(prevSegment, red);
inital state Entry
--> Continue with contact(Segment,0) & perm_next_Segment
--> Slowdown with contact(Segment,0);
state Slowdown {
entry / setSpeed(Segment,SLOW);
} --> Waiting with contact(Segment,1)
--> Continue with perm_next_Segment;
state Waiting {
entry / setSpeed(Segment,BRAKE);
} --> Continue with perm_next_Segment;
state Continue {
entry / setSignal(Segment,green);
entry / setSpeed(Segment,full);
entry / setSpeed(nextSegment,full);
entry / setSignal(nextSegment, red);
entry / free(prevSegment)
entry / setSpeed(prevSegment,OFF);
}--> leave immediate;
final state leave;
}