Industrial and manufacturing processes are an abundant source of rich and complex problems amenable to investigation with mathematical logic and techniques. Once a problem is identi ed and the right questions are ...