Parallel computation of the reachability graph of petri net models with semantic information | Publicación