Stav dette: Modeling and simulation of discrete-event systems / Byoung Kyu Choi, Donghun Kang.