Redes de Petri: una herramienta para la validación de procedimientos

Resumen

Al diseñar un procedimiento, se tiene la incertidumbre si este permitirá, luego de su aplicación, obtener los resultados esperados. Es muy frecuente que, durante su aplicación, emerjan dificultades de coordinación entre las diferentes actividades, tareas y (o) pasos. En este artículo se presenta una alternativa de validación de procedimientos a través de la utilización de las Redes de Petri, que mediante sus técnicas de análisis permite a priori conocer la viabilidad de aplicar el procedimiento seleccionado. A modo de ejemplo se muestra la validación de un procedimiento, concluyéndose que este es válido.