Modeling and Control of Discrete-event Dynamic Systems : with Petri Nets and Other Tool - Hrúz, Branislav, 1938-; Zhou, MengChu (Springer Verlag, 2007)