¿Necesitas que desarrolle (por ejemplo, con capacidad de lugares, o redes temporizadas) o que explique algún concepto adicional como árbol de alcanzabilidad o T-invariantes ?
¿Necesitas que desarrolle (por ejemplo, con capacidad de lugares, o redes temporizadas) o que explique algún concepto adicional como árbol de alcanzabilidad o T-invariantes ?