Questão 3551903

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.