A mi me dio que el b no lo es. Una forma de verlo, imaginate que agrupás S1, S2 y S3 para que ejecuten concurrentemente en un grupo llamado P1, ello implica que S7 se ejecute luego de S2, lo cual no es cierto. Podés separa en otros subgrafos y llegarás a conclusiones similares.
Si no es correcto lo que digo, espero alguien me corrija.