Synthesis of orchestrations of transducers for manufacturing

In this paper, we model manufacturing processes and facilities as transducers (automata with output). The problem of whether a given manufacturing process can be realized by a given set of manufacturing resources can then be stated as an orchestration problem for transducers. We first consider the c...

Full description

Bibliographic Details
Main Authors: De Giacomo, Giuseppe, Vardi, Moshe Y., Felli, Paolo, Alechina, Natasha, Logan, Brian
Format: Conference or Workshop Item
Published: 2018
Online Access:https://eprints.nottingham.ac.uk/49125/