Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools | EKB DL