Production control of a manufacturing system with multiple machine states | Synapse