Using a tool for finite state machine simulation to model a manufacturing system