publicações Herramienta para la enseñanza de modelado de sistemas de automatización con redes de Petri GHENeSys Documento