Title: Formal methods in manufacturing systems
Description: "This book explores formal methods and the shifting paradigm through an investigation of contemporary manufacturing techniques and formal methodologies that strive to solve a variety of issues arising from a market environment that increasingly favors flexible systems over traditional ones"--
Subjects: Production engineering, Data processing, Technological innovations, Formal methods (Computer science), Petri nets, Engineering, data processing, Computer science