Text this: Evaluacin̤ del desempeǫ de procesos industriales utilizando redes de Petri simuladas bajo el formalismo DEVS