The alternatives aggregation Petri nets as a formalism to design discrete event systems | Publicación