Discrete Event Systems

This volume provides a survey of field of modelling, analysis and control synthesis of discrete event systems, lecture notes for a mini-course on sensitivity analysis for performance evaluation of timed discrete event systems, and 48 carefully selected papers covering all areas of discrete event theory and the most important applications domains. Topics include automata theory and supervisory control; Petrinet-based models for discrete event systems, and their control synthesis; (max,+) and timed automata models; applications papers related to scheduling, failure detection, and implementation of supervisory controllers; formal description of PLCs; and finally, stochastic models of discrete event systems.