Jantar Dos Filosofos Com Deadlock No Petri

Eu e Willian Praxedes vamos apresentar a execução de uma rede petri em um aplicativo denominado PIPE, onde simulamos o comportamento de threads no problema do Jantar dos Filósofos.

Explicação: O Jantar dos filósofos consiste em 5 pessoas sentadas ao redor de uma mesa redonda, com 5 garfos, 5 pratos, e um prato de macarronada no centro, e cada filósofo depende de dois garfos psrs comer, ou seja não pode ter dois filósofos adjacentes comendo.
O algoritmo precisou da implementação de semáforos (Deadlocks) com o intuito de evitar possíveis colisões.

Apoio:
- Departamento de Enganharia da Computação e Automação - UFRN
- Petri Net