A description and analysis method for reconfigurable production systems based on Finite State Automaton