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.