A tracked mobile is an object that can move
from one location to another along a track. The track segments form a directed graph
and are connected by a next segmentn
segmentn+1 relationship. The track is single track
and only one tracked mobile can occupy a segment of track at a time. A track
segment is either occupied, if a mobile is "on"
the track segment or it is free.