Una técnica de pensar globalmente-actuar localmente (TGAL) ha demostrado ser un método efectivo para abordar el problema de explosión de estados en sistemas complejos de eventos discretos modelados con redes de Petri. Este documento introduce un método basado en TGAL para calcular y analizar el grafo de alcanzabilidad (RG) de modelos de redes de Petri. Dado un sistema de red, la técnica TGAL introduce estratégicamente un lugar inactivo global (GIP) para generar de forma iterativa su RG actualizando el recuento de fichas. En cada paso, las marcaciones alcanzables (RMs) y las marcaciones legales (LMs) obtenidas en las iteraciones anteriores se consideran para calcular los estados correspondientes al paso actual. Según el requisito de control impuesto, un estado del sistema debe ser calculado y clasificado solo una vez durante un proceso iterativo. Este método calcula solo el número necesario de RMs y reduce la redundancia computacional, lo que minimiza el costo computacional. Cuatro modelos típicos de redes de Petri de estudios existentes se emplean para demostrar el método.