Describir: Introduction to discrete event systems