Este documento presenta un análisis formal de seguridad del protocolo estándar ISA100.11a utilizando el enfoque de modelado de Redes de Petri Coloreadas (CPN). En primer lugar, establecemos un modelo de amenaza de seguridad para el protocolo ISA100.11a y proporcionamos una descripción y análisis detallados de las amenazas de seguridad identificadas. En segundo lugar, utilizamos la herramienta CPN para modelar formalmente el protocolo y realizar verificación de modelos y análisis de seguridad. Finalmente, analizamos y discutimos los resultados de la verificación del modelo, que demuestran que el protocolo estándar ISA100.11a puede tener vulnerabilidades cuando existen ciertas amenazas de seguridad, y proporcionamos algunas sugerencias para mejorar la seguridad del protocolo. Esta investigación proporciona un cierto nivel de garantía de seguridad para el protocolo estándar ISA100.11a y sirve como referencia para investigaciones de seguridad similares sobre protocolos.