![Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)](//coverdb.com/reviewSE/w100/a6b/9781846286506.jpg) |
|
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)
Emilia Villani
Hardcover. Springer 2006-12-28.
ISBN 9781846286506
|
|
|
Hitta bokens lägsta pris
|
Förlagets beskrivning
This book introduces a formalism for modeling complex and large-scale systems that merges Petri nets, differential equation systems, and object-oriented methods. It describes a method that starts from the requirements of a supervisory system and results in a proposal for such a system. The book also presents a validation procedure that allows verification of the formal properties of the hybrid model
Fler böcker av Emilia Villani
Liknande böcker
Recensioner
Den här boken har tyvärr inte några recensioner ännu. Om du redan läst boken, skriv en recension!
Recensera boken
Skriv en recension och dela dina åsikter med andra. Försök att fokusera på bokens innehåll. Läs våra instruktioner för mer information.
Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach
Bokrecensioner » Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)
|
|
![Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)](/images/background.gif) |
![Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control)](/images/background.gif) |
|
|
|