search for books and compare prices
Xiaolan Xie has written 3 work(s)
Search for other authors with the same name
displaying 1 to 3 |
at end
show results in order: alphabetically | oldest to newest | newest to oldest
Product Description: 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...read more
Hardcover:
9781466561557 | CRC Pr I Llc, February 25, 2014, cover price $189.95 | About this edition: Illustrated with real-life manufacturing examples, Formal Methods in Manufacturing provides state-of-the-art solutions to common problems in manufacturing systems.
Product Description: This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph...read more (view table of contents, read Amazon.com's description)
Hardcover:
9780792376392 | Kluwer Academic Pub, April 1, 2002, cover price $159.00 | About this edition: This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems.
Paperback:
9781441949424 | Springer Verlag, April 1, 2002, cover price $159.00 | About this edition: This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems.
(view table of contents)
Hardcover:
9780471967705 | John Wiley & Son Ltd, January 1, 1997, cover price $95.00
displaying 1 to 3 |
at end