{"product_id":"9781461363682","title":"The Springer International Series in Engineering and Computer Science","description":"\u003ch1\u003eThe Springer International Series in Engineering and Computer Science\u003c\/h1\u003e \u003ch2\u003eMengChu Zhou; Dicesare, F.\u003c\/h2\u003e \u003cp\u003e\u003cem\u003ePetri Net Synthesis for Discrete Event Control of  Manufacturing\u003c\/em\u003e \u003cem\u003eSystems\u003c\/em\u003e develops two essential resource-sharing  concepts: parallel and sequential mutual exclusions and theoretical  results in Petri synthesis. A parallel mutual exclusion (PME) is  defined to model a resource shared by independent distributed  processes, and a sequential mutual exclusion is a sequential  composition of PMEs, modeling a resource shared by  sequentially-related processes. \u003cbr\u003e  A hybrid synthesis methodology for Petri net models and controllers is  proposed using top-down, modular, and bottom-up design ideas and the  mutual exclusion theory. An aggregate Petri net model is refined by  replacing places and \/or transitions with basic design modules which  are mathematically and graphically described. Petri net design methods  are presented for such buffers as automatic storage and retrieval  systems. Using the proposed method synthesizes both Petri net  structure and feasible initial markings, guaranteeing that resulting  Petri nets have desirable system properties such as freedom from  deadlock and cyclic behavior. \u003cbr\u003e  A Petri net controller is extended to error recovery for automated  manufacturing systems. The theory can guarantee that the desired  system properties achieved by the original design will be preserved  when the controller is augmented to deal with an error in the  prescribed methods. Control code has been directly generated from  Petri net definitions. The algorithm and implementation details are  given for a flexible manufacturing system. Using the approach  presented in \u003cem\u003ePetri Net Synthesis for Discrete Event Control of\u003c\/em\u003e  \u003cem\u003eManufacturing Systems\u003c\/em\u003e, engineers and research workers can  develop their own discrete event control applications and experiments.  \u003cbr\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2012-10-16\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461363682\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4615-3126-5\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 233\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":44398544945292,"sku":"9781461363682","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461363682.jpg?v=1775009672","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781461363682","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}