Control of Discrete-Event Systems : Automata and Petri Net Perspectives - Seatzu, Carla; Silva, Manuel; van Schuppen, Jan H.; SpringerLink (Online service) (London : Springer London : Imprint: Springer, 2013)
From the Contents: Part I Modeling of Engineering Phenomena by Finite Automata -- Languages, decidability and Complexity. Languages, Decidability and Complexity -- Supervisory Control with Complete Observation. Supervisory Control with Partial Observation -- Observers with Automata -- Part II Introduction to Petri Nets -- Control of Petri Nets with Language Specifications -- Diagnosis of Petri Nets -- Diagnosis with Unfolding -- Structural Methods for the Control of Discrete-event Systems: The Case of the Resource Allocation Problem -- Timed and Time Nets -- Diagnosis of Petri Nets with Time.
Keywords: Control engineering; Computer communication systems; System theory; Control and Systems Theory; Computer Communication Networks; Systems Theory, Control