Text this: Evaluación del desempeño de procesos industriales utilizando redes de petri simuladas bajo el formalismo devs