2-Modelagem Básica

      Suponha um exemplo em que sempre saia um caminhão de uma fábrica para realizar uma entrega. O motorista pode escolher entre entregar na Cidade1 ou na Cidade2. Na figura abaixo é apresentado um exemplo. A partir do estado inicial (Estado 1), o caminhão, que é representado por um token, entra EmRota (Estado 2). Note que essa ação é representada pelo disparo da transição sairFábrica. Assim, o motorista poderá escolher se irá realizar a entrega na Cidade1 ou na Cidade2 (Estado 3 ou 4). Por fim, Entrega1 ou a Entrega2 é realizada e o sistema volta para o Estado 1. Na animação abaixo são mostradas as duas situações: entregar na Cidade1 e entregar na Cidade2.

      Escolha Não-Determinística: é o padrão de uma rede de Petri que se caracteriza pelo fato de duas ou mais transições possuírem um mesmo lugar como entrada. Esse tipo de estrutura também é denominada de conflito ou decisão.