There has recently been increasing interest in using reactive synthesis techniques to
automate the production of manufacturing process plans. Previous work has assumed that …