An algorithm to compute the minimal siphons in S 4 PR nets | Publicación