Probability automaton modelling