Service-based manufacturing systems: modelling and control

In service-based manufacturing systems, functionalities are independently developed as services and a central engine orchestrates their integration. As industrial processes tend to be very large, and performance and productivity are expected to be maximised, there is a constant interest in providing (in-advance) quality guarantees for services interactions, which contrasts with the usual non-automated workflow design. This paper provides an alternative to enhance service orchestration capabilities using supervisory control techniques. Initially, each component (atomic and composite activities) belonging to an orchestration language is modelled as a state-machine. Then, activity models are properly combined and composed, reproducing orchestrated workflows. Finally, supervisory control is used to calculate an optimal version of the orchestrator. Practical implications of handling large state-spaces are discussed and examples are provided.