Boeken over Modeling and Simulation of Discrete Event Systems with Petri Nets