Taking advantages of temporal redundancy in High Level Petri Nets implementations | Publicación