The development of flexible and reliable manufacturing systems would be greatly simplified if the control algorithms could be automatically synthesized. This paper describes a real life manufacturing system with dynamic products that actively route themselves through the system. Using reusable software modules as models of the physical resources, and part-routing as specifications on the system...