Discrete event systems: Modeling and performance analysis