Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in modern manufacturing processes, transportation and various forms of computer and communications networking.

Modeling and Control of Discrete-event Dynamic Systems begins with the mathematical basics required for the study of DEDs and moves on to present various tools used in their modeling and control. Among the instruments explained are many forms of Petri net, Grafcet (the sequential function chart), state charts, formal languages and max-plus algebra; all...