Supervisory Control of Concurrent Systems: A Petri Net Structural Approach
Marian V. Iordache, Panos J. Antsaklis · Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)) · 2006
Preface.- Symbols.- Introduction.- An Introduction to Petri Nets.- The Supervision of Petri Nets.- Enforcing General Specifications.- Decentralized Supervision of Petri Nets.-Deadlock and Liveness Properties of Petri Nets.- Liveness Enforcement in Petri Nets: A Structural Approach. Part I.- Liveness Enforcement in Petri Nets: A Structural Approach. Part II.- DES Control of Concurrent Hybrid Systems.- Hybrid System Level Control.-References.- Index