Questões de Concurso sobre Redes de Petri

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.

Só permite no máximo um token em cada lugar, e todos os arcos possuem valor unitário.

É o tipo de rede que permite o acúmulo de marcas no mesmo lugar, assim como valores não unitários para os arcos.

É caracterizada pelos tipos de suas marcas, que não são mais elementos do tipo inteiro positivo.

Permite a individualização de uma marca (pertencente a um grupo) em um mesmo lugar.

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.

simples permite distinção entre os seus marcadores; por exemplo, em um sistema modelado por rede de Petri simples, é possível distinguir os sinais elétricos dos movimentos de peças.

permite a modelagem matemática do sistema, apesar de ser uma modelagem que se apoia em linhas de comando.

colorida é aquela em que se utilizam marcadores coloridos, e essas cores permitem distinguir os sinais elétricos de movimentação de peças, mas não possui a descrição gráfica do modelo.

é uma modelagem gráfica que evoluiu e ganhou extensões; assim surgiram parâmetros como a hierarquia e o vetor de estados.

é uma modelagem de sistemas dinâmicos que considera o tempo e permite desenvolver sistema de automação por meio de equações diferenciais.