Modeling, analysis and control of Discrete Event Systems: a Petri net perspective | Publicación