A standard approach to production systems modelling based on Finite State Automata