Modeling, Analysis and Control of Discrete Event Systems as Petri Nets | Publicación