Modeling and Simulation of Discrete Event Systems - Choi, Byoung Kyu (Department of Industrial and Systems Engineering, KAIST, South Korea a Department of Computer Science, KAU, Saudi Arabia) a Kang, DongHun (Department of Industrial and Systems Engineering, KAIST, South Korea)