Modeling and control of discrete-event dynamic systems : with petri nets and other tools - Hrúz, Branislav (Advanced textbooks in control and signal processing, 2007)