出版社：Universidad Nacional Autónoma de México, Servicios de Cómputo Académico
摘要：ESTE ARTÍCULO SE OCUPA DE LA VERIFICACIÓN DE LAS PROPIEDADES LINEALES TEMPORIZADAS Y NO TEMPORIZADAS DEL MODELO DE REDES DE PETRI COLOREADAS CON INTERVALOS TEMPORIZADOS. ESTE MODELO PUEDE SIMULAR OTRAS REDES DE PETRI COLOREADAS TEMPORIZADAS Y PERMITE DESCRIBIR GRANDES Y COMPLEJOS SISTEMAS EN TIEMPO REAL. NOSOTROS PROPONEMOS CONTRAER EL ESPACIO GENERALMENTE INFINITO, EN UN GRAFO QUE CAPTURE TODAS LAS PROPIEDADES LINEALES DEL MODELO. EL GRAFO RESULTANTE ES FINITO, SI Y SOLAMENTI SI, EL MODELO TIENE LÍMITES (EL CONJUNTO DE SUS MARCAS ACCESIBLES ES FINITO). EN ESTE CASO, LAS PROPIEDADES LINEALES DEL MODELO SE PUEDEN VERIFICAR EN EL GRAFO RESULTANTE, UTILIZANDO, POR EJEMPLO, TÉCNICAS DE COMPROBACIÓN DEL MODELO LINEAL CLÁSICO.
