Modeling Discrete Event Systems Using Petri Nets | Publicación