1-Introdução

      Os elementos básicos de uma RdP podem representar elementos passivos ou ativos de um sistema real. A seguir, cada um desses elementos é detalhado.

     Lugares:   são graficamente representados por círculos, representam os estados possíveis de um sistema. Esses elementos representam componentes passivos da rede e têm como principal função o armazenamento de tokens (também conhecidos como marcas), os quais são removidos e adicionados na medida que as transições são disparadas.  O lugar cuja marcação influencia o disparo de uma transição é chamado de pré-condição daquela transição. O lugar que tem sua marcação afetada pelo disparo de uma transição é chamado de pós-condição daquela transição. Os lugares representam recursos, estados ou variáveis do sistema. Em sistemas computacionais, lugares podem representar recursos como servidores ou componentes de um servidor. A existência de um ou mais tokens em um lugar pode representar a disponibilidade do recurso.

     Tokens:   são representados graficamente por círculos pequenos preenchidos (também podem ser representados por números), onde os mesmos residem em lugares e são utilizados para especificar o estado da RdP. A distribuição de tokens nos lugares da rede determina o estado em que o sistema se encontra em um dado momento.  

     Transições:   são graficamente representadas por barras, que representam elementos ativos da rede, isto é, as ações realizadas pelo sistema. Uma transição só estará habilitada se todas as suas pré-condições estiverem satisfeitas. Uma vez que a transição satisfaz todas as pré-condições, essa transição poderá disparar, removendo uma determinada quantidade de tokens dos lugares e colocando em outros, gerando assim as pós-condições. Em sistemas computacionais, as transições podem representar as falhas e reparos dos servidores. 

     Arcos:   são representados graficamente por setas e simbolizam o fluxo de tokens pela rede. Os arcos nunca ligam classes do mesmo tipo, isto é, lugares somente são conectados a transições e vice-versa. Quando os lugares estão conectados a uma transição no sentido lugar-transição, denominam-se lugar de entrada daquela transição. Porém, quando os lugares estão conectados a uma transição no sentido transição-lugar, denominam-se lugar de saída.