...

At the end of every Station-to-Station-Controller the trains should stand in one station, because every controller starts with the train in standstill.

Contact reading in triggers should only used when it is clearly determined which train will fire the contact.

TrainController

Train-Schedules should be modelled by putting together the Station-to-Station-Controllers for every train in individual regions.

...

bool <track>_req[<trainAmount>] contains the requests for each track and train. Before the availability of arrays, we used bool <train>_<track>_req.
int <track>_perm contains the trainnumber of the train, who is allowed to drive on <track>.

Deadlock Prevention

An example controller for deadlock prevention is located in rail-repo: docs/deadlocks/resolve_deadlock.sct

C Controller

The C controller wraps the basic railway interface and creates an correct environment to run the generated controller.

...