We a good story
Quick delivery in the UK

Supervisory Control of Concurrent Systems

- A Petri Net Structural Approach

About Supervisory Control of Concurrent Systems

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780817643577
  • Binding:
  • Hardback
  • Pages:
  • 286
  • Published:
  • June 8, 2006
  • Edition:
  • 2006
  • Dimensions:
  • 160x241x23 mm.
  • Weight:
  • 680 g.
Delivery: 2-3 weeks
Expected delivery: January 11, 2025
Extended return policy to January 30, 2025
  •  

    Cannot be delivered before Christmas.
    Buy now and print a gift certificate

Description of Supervisory Control of Concurrent Systems

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.

User ratings of Supervisory Control of Concurrent Systems



Find similar books
The book Supervisory Control of Concurrent Systems can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.