Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools Hrúz, Branislav Heftet / 2007 / Engelsk