El libro recopila trabajos del VIII Taller Internacional sobre Problemas de Alcance, con estudios detallados sobre algoritmos de verificación y modelos de Petri, ofreciendo perspectivas avanzadas en teoría computacional.