Questão 4179547

• Banca: CETRO
• Órgão: AMAZUL
• Ano: 2015
• Provas: CETRO - 2015 - AMAZUL - Engenheiro Mecatrônico
• Disciplina: Engenharia Mecatrônica
• Assuntos: Automação na Engenharia Mecatrônica; Lógica de Programação

A rede de Petri é uma técnica de modelagem que permite a representação de sistemas, utilizando como alicerce uma forte base matemática. Sobre as classes das redes de Petri, no que diz respeito à rede binária, assinale a alternativa correta.

• A. Só permite no máximo um token em cada lugar, e todos os arcos possuem valor unitário.
• B. É o tipo de rede que permite o acúmulo de marcas no mesmo lugar, assim como valores não unitários para os arcos.
• C. É caracterizada pelos tipos de suas marcas, que não são mais elementos do tipo inteiro positivo.
• D. Permite a individualização de uma marca (pertencente a um grupo) em um mesmo lugar.
• E. Não aumenta o poder de representação de um modelo. Entretanto, permite uma maior clareza e um maior (ou menor) nível de abstração ao modelo.

Gabarito: A