Enviar aquest missatge de text: Evaluacin̤ del desempeǫ de procesos industriales utilizando redes de Petri simuladas bajo el formalismo DEVS