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

Un aspecto fundamental de los sistemas de producción es la medida de su desempeño. Par a obtener esta medida, se recurre frecuentemente a modelos matemáticos tales como redes de Petri, con el fin de validar su comportamiento concurrente, presencia/ ausencia de bloqueos, sincronización de actividades...