Modeling and simulation of discrete-event systems - Choi, Byoung Kyu 1949-; Kang, Donghun 1981- (John Wiley & Sons Inc., 2013)