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 work is self-contained and is accessible to a broad audience.
Read More
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 work is self-contained and is accessible to a broad audience.
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 a Petri Net to cart. $76.72, 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: a Petri Net to cart. $87.64, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2006 by Birkhäuser.
