CSP GENERATION FROM PETRI-NETS MODELS | Publicación