Theoretische beschouwingen over het volgen en vliegend inhalen van processor gestuurde treinen