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...