Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits. ...
Read More
Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits. Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings. The work is self-contained and includes necessary background on Petri nets and supervision. Requiring only basic knowledge of undergraduate-level discrete mathematics, the text is accessible to a broad audience. Researchers and developers from various engineering fields may find effective means to reduce the complexity of design problems in the discrete-event setting. Graduate students may use the work as a self-study reference, and portions of the text may be used in advanced courses on discrete-event systems.
Read Less
Add this copy of Supervisory Control of Concurrent Systems: a Petri Net to cart. $1.00, very good condition, Sold by Books From California rated 4.0 out of 5 stars, ships from Simi Valley, CA, UNITED STATES, published 2006 by Birkhäuser Boston.
Add this copy of Supervisory Control of Concurrent Systems: a Petri Net to cart. $45.00, very good condition, Sold by Lavendier Books rated 5.0 out of 5 stars, ships from Foster, RI, UNITED STATES, published 2006 by Birkhäuser.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 6x0x9; Birkhaeuser Verlag; Boston, 2006. Hardcover. A Very Good, binding firm, interior and extremities tidy, book appears unread, minimal handling marks, small green scuff mark bottom text block corner, bumped bottom spine edge, without Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches], 281pp., references, indexed. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.
Add this copy of Supervisory Control of Concurrent Systems: a Petri Net to cart. $48.00, like new condition, Sold by Lavendier Books rated 5.0 out of 5 stars, ships from Foster, RI, UNITED STATES, published 2006 by Birkhäuser.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Like New. Size: 6x0x9; Birkaeuser Verlag; Basel, 2006. Hardcover. A Near Fine, binding firm, interior and extremities tidy, minimal handling marks, book appears unread, bit of crimping to spine edges, without Dust wrapper. A nice, clean and unmarked copy. 8vo[octavo or approx. 6 x 9 inches], 281pp., references, indexed. We pack securely and ship daily with delivery confirmation on every book. The picture on the listing page is of the actual book for sale. Additional Scan(s) are available for any item, please inquire.
Add this copy of Supervisory Control of Concurrent Systems (Hb) to cart. $54.24, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Birkhauser.
Add this copy of Supervisory Control of Concurrent Systems (Hb) to cart. $58.93, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Birkhauser.
Add this copy of Supervisory Control of Concurrent Systems to cart. $87.08, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 2006 by Birkhauser.
