Page History

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;
}