Modeling and Simulation of Discrete Event Systems with Petri Nets by Reggie Davidrajuh