2-Modelagem Básica

      A transição imediata tem o mesmo funcionamento da transição temporizada, no entanto, ela possui algumas particularidades. Diferentemente da transição temporizada, o disparo da transição imediata (representada por barras pretas finas) ocorre de maneira imediata. Isto é, disparam com tempo zero e têm prioridade superior às transições temporizadas, além disso, elas têm outras propriedades que estudaremos na próxima seção. Abaixo é apresentado um exemplo de uma rede de Petri com o objetivo de comparar as transições imediatas em relação às temporizadas. Na rede, o fluxo de tokens ao chegar no lugar Lugar0, pode seguir pela transição TransIm0 ou pela transição TransTemp1. No entanto, como na transição imediata TransIm0 o disparo ocorre de maneira instantânea, ela possui prioridade em relação às transições temporizadas. No caso do exemplo abaixo, o fluxo de tokens segue apenas no sentido da seta preta. Nenhum token segue no sentido da seta vermelha, visto que a transição imediata tem prioridade superior em relação a transição temporizada.