Este documento investigó la verificación de la detectabilidad de sistemas de eventos discretos basados en una clase de redes de Petri parcialmente observadas e ilimitadas. En un sistema de red ilimitada, se asume que todas las transiciones y lugares parciales son no observables. El administrador del sistema solo puede observar algunos lugares observables, es decir, se puede observar el número de fichas en estos lugares, lo que permite la estimación de estados actuales y subsiguientes. Los conceptos de transiciones cuasi-observables, transiciones verdaderamente no observables y marcados parciales se utilizan para construir un grafo de alcanzabilidad base. Según este grafo, se proponen cuatro condiciones suficientes y necesarias de detectabilidad. Correspondientemente, se propone un ejemplo específico para demostrar que la detectabilidad puede ser verificada en el sistema de red ilimitada. Además, basándose en la conclusión de detectabilidad, se exploró la capacidad del sistema para detectar estados críticos utilizando el grafo de alcanzabilidad base, llamado C-detectabilidad. Se proponen dos ejemplos del mundo real para mostrar que la detectabilidad de sistemas de eventos discretos no solo ha abierto nuevos métodos de investigación, sino que también ha demostrado que las condiciones reales enfrentadas por este método son más generales, y ha superado las limitaciones de depender solo de las condiciones ideales de los sistemas limitados para la verificación.