Modeling and Control of Discrete-event Dynamic Systems: with Petri Nets and Other Tools 2007 · ENGLISH · PDF View details →