ID 4179550 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 Com a finalidade de aumentar a aplicação da rede de Petri, é correto afirmar, sobre as redes de Petri coloridas, que Alternativas têm por objetivo aumentar o tamanho do modelo, permitindo que os tokens sejam individualizados, por meio de cores atribuídas a eles. são compostas pela estrutura que compreende a especificação dos conjuntos de cores e declarações de variáveis. são compostas pelas declarações que são um grafo dirigido com dois tipos de vértices (lugares e transições). são compostas pelas inscrições e variam de acordo com o componente da rede. Os lugares possuem três tipos de inscrições: nomes, conjunto de cores e expressão de inicialização (marcação inicial). possibilitam a representação do comportamento dinâmico de sistemas que possuam atividades concorrentes, assíncronas e não determinísticas, por meio da adição do conceito de tempo no modelo. Responder Comentários A e D estão corretas; B é Declaração; C é Estrutura; E é referente a Rede de Petri Temporizada.