Finalização da RedeDePetri

- Verificar se há estados bloqueantes
- Verificar se há estados não-limitados
- Verificar se há conservação na rede
- Determinar se um estado x é não alcançável a partir de x0.