Modeling and Control of Discrete-event Dynamic Systems