Este documento descreve um protocolo de comunicação entre emissor e receptor conhecido como "Protocol With Timer". Neste protocolo, o emissor envia pacotes de dados para o receptor de forma otimista, assumindo que serão recebidos com sucesso. Se o receptor não receber um ACK no tempo limite, o emissor reiniciará a transmissão dos pacotes. O protocolo foi modelado usando Redes de Petri Coloridas no software CPNTools.

1. Protocol With Timer (Protocolo com Temporizador) Carlos Fran Cleilson Gurgel

5. Protocolo Modelado com CPN

7. Lugares

8. Transições

9. Tipo(Colour Set)

10. Marcação Inicial

12. Inscrições do Arco (n,p) n N+1 k s

13. Subdivisão da Rede Emissor Rede Receptor Temporizador

14. Pacotes a ser enviados Send INTxDATA

15. Contadores Contador Contador

16. Dados Recebidos D ATA “ ”