Imagem de fundo

Com a finalidade de aumentar a aplicação da rede de Petri, é correto afirmar, sobre as...

Com a finalidade de aumentar a aplicação da rede de Petri, é correto afirmar, sobre as redes de Petri coloridas, que


A

têm por objetivo aumentar o tamanho do modelo, permitindo que os tokens sejam individualizados, por meio de cores atribuídas a eles.


B

são compostas pela estrutura que compreende a especificação dos conjuntos de cores e declarações de variáveis.


C

são compostas pelas declarações que são um grafo dirigido com dois tipos de vértices (lugares e transições).


D

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).


E

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.