Vamos analisar cada afirmativa sobre a técnica CFG (Control Flow Graph): I. No mecanismo de construção adotado pelo CFG, cada processo está associado a um conjunto de variáveis de estados e não a um conjunto de canais de entrada e saída. Falso. No contexto de CFG, os processos geralmente interagem através de canais de entrada e saída, além de variáveis de estado. II. O comportamento de cada processo é especificado por um CFG que é representado por um dígrafo estendido de vértices no qual se desenham os estados de um processo. Verdadeiro. Essa afirmativa está correta, pois o CFG é representado por um dígrafo que ilustra os estados e transições. III. Cada arco apresenta três atributos a ele associado como, por exemplo, a condição, a propriedade e o evento. Os arcos do dígrafo são as posições de transições entre os estados existentes. Verdadeiro. Essa afirmativa está correta, pois os arcos em um CFG podem ter atributos que definem as transições. IV. A condição refere-se ao arco escolhido para efetuar a transição, enquanto na propriedade, escolhe-se entre os arcos candidatos no mesmo instante, qual deles irá efetuar a transição. Verdadeiro. Essa afirmativa está correta, pois descreve como as transições são decididas em um CFG. Com base na análise, as afirmativas II, III e IV estão corretas, enquanto a afirmativa I está incorreta. Portanto, a alternativa correta que contém todos os itens verdadeiros é: II, III e IV. Se a pergunta não fornecer opções específicas, não posso indicar uma alternativa correta. Você precisa verificar as opções disponíveis.