Para exemplificar o funcionamento do JARP, vamos criar uma rede que representa um recurso compartilhado.

Para isso, vamos definir a seguinte situação: o recurso seria uma máquina automática de corte, que está programada para cortar dois tipos diferentes de peças, um para o "processo de montagem 1" e o outro para o "processo de montagem 2".

A máquina não pode cortar simultaneamente duas peças, mas ela faz parte dos dois processos de montagem. Como modelar esta máquina?

Primeiramente, a máquina pode estar parada. Isto é um estado dela. Ela pode também estar cortando uma peça do tipo 1 ou uma peça do tipo 2, ou seja, mais dois estados. Neste caso, para cada estado colocamos um lugar correspondente:

Rede com três lugares

Adicione os três lugares com a ferramenta de criação de lugares (mantenha 'Shift' pressionado para criar mais de um lugar simultaneamente) e teremos:

Agora precisamos definir os eventos que ocorrem nesta máquina. Ela pode processar um corte do tipo 1 ou do tipo 2, ou seja, ela começa um corte e termina um corte. Quando um corte é terminado (não importa de que tipo) a máquina volta para o estado de espera. Para representar isso, adicionamos 4 transições:

Rede com três lugares e quatro transições

Adicione as quatro transições com a ferramenta de criação de transições e teremos:

Para criar os arcos, leia a página de composição. Lá está explicado como fazer para criar os arcos necessários. Após a adição dos arcos, a rede deve ficar assim:

Rede com lugares, transições e arcos

Finalmente, é preciso definir a marcação da rede. Para isso, selecione o lugar P2 e pressione a tecla "+":

Rede com marcação