Resultado de la búsqueda: representación en diagramas de estado en redes petri y en grafcet