000			01616nam a22002297a 4500
008			170214b 2014 xxu||||| |||| 00| 0 eng d
020			_a9781466561557
082			_a670 CAM-J
100			_aCampus, Javier.
245			_aFormal methods in manufacturing edited by _cJavier Campos, Carla Seatzu and Xiaolan, Xie.
260			_aBoca Raton _bCRC Press _c2014
300			_a698 p.
365			_aGBP _b121.00
440			_aIndustrial Information Technology
500			_a 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 specific problems taken from today's industrial world, such as modeling and simulation, supervisory control (including deadlock prevention) in a distributed and/or decentralized environment, performance evaluation (including scheduling and optimization), fault diagnosis and diagnosability analysis, and reconfiguration
650			_aManufacturing processes--Mathematical models
650			_aManufacturing processes
650			_aTECHNOLOGY & ENGINEERING -- Industrial Engineering.
650			_aTECHNOLOGY & ENGINEERING -- Industrial Technology.
700			_aSeatzu, Carla.
700			_aXie, Xiaolan.
999			_c25707 _d25707