Discrete Event Systems: Modeling and Control

Research of discrete event systems is strongly motivated by applications in flex ible manufacturing, in traffic control and in concurrent and real-time software verification and design, just to mention a few important areas.