Formal methods in manufacturing systems
Subtitle: recent advances
By: Zhiwu Li , Xidian University, China, Abdulrahman M. Al-Ahmari, King Saud University, Saudi Arabia, [editors]
Series: Advances in civil and industrial engineering (ACIE) book series -- 2326-6139; Premier reference source
Publisher: Engineering Science Reference
Published: 2013
Place of publication: Hershey, PA
Language: eng
Number of pages: 507
ISBN-13: 9781466640344; 9781466640351; 9781466640368
Copyright date: 2013
Subjects: Production engineering; Data processing; Technological innovations; Formal methods (Computer science); Petri nets
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"--
Notes: Includes bibliographical references (pages 465-494)and index.