Discrete-Event Systems in a Dioid Framework: Modeling and Analysis | Publicación