Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems. Assuming some knowledge of discrete event systems theory, the book first delivers a detailed introduction to the most important formalisms used for the modeling, analysis, and control of manufacturing systems (including Petri nets, automata, and max-plus algebra), explaining the advantages of each formal method. It then employs the different formalisms to solve ...

Formal Methods in Manufacturing 2017, CRC Press, London

ISBN-13: 9781138074293


Formal Methods in Manufacturing 2014, CRC Press Inc, Bosa Roca

ISBN-13: 9781466561557