Text this: Incorporación de herramientas de validación y verificación de redes de petri, mediante tina, en HiLeS designer