Interport modelling with state automata