Dissertacao 2003 Marcos Gilton Miranda Martins

MODELAGEM E ANÁLISE FORMAL DE
ALGUMAS FUNCIONALIDADES DE UM
PROTOCOLO DE TRANSPORTE
ATRAVÉS DAS REDES DE PETRI

MARCOS GILTON MIRANDA MARTINS

Dissertação apresentada ao
Instituto
Nacional de Telecomunicações – INATEL, como parte dos requisitos para obtenção do Título de Mestre em Engenharia de
Telecomunicações.

Orientador: Dr. Miguel Menasche

.......

Santa Rita do Sapucaí
Dezembro/2003

ii

FOLHA DE APROVAÇÃO

Dissertação defendida e aprovada em 22 / 12 / 2003, pela comissão julgadora:

___________________________________________________________________
Prof. Dr. Adonias Costa da Silveira – DTE, Inatel.

___________________________________________________________________
Prof. Dr. Pedro Frosi Rosa – UFU, Universidade Federal de Uberlândia.

___________________________________________________________________
Prof. Dr. Anilton Salles Garcia – DTE, Inatel.

________________________________
Coordenador do Curso de Mestrado

iii

Ao Senhor Deus da minha salvação,
À Minha Família,
À Minha Pátria.

iv

AGRADECIMENTOS

A Deus, por me ter dado resignação e perseverança para terminar esta dissertação e por Jesus Cristo meu salvador e santificador na verdade.
Ao meu pai e à minha mãe, pelo carinho, paciência e amor.
À minha tia, Maria da Graça Domingues Martins (PROEP/MEC), pelo apoio.
Aos irmãos da Igreja Presbiteriana do Brasil que estiveram comigo e muito me ajudaram espiritualmente.
Ao INATEL, pela oportunidade oferecida. (Parceiros para toda vida!)
Ao professor Dr. Adonias Costa da Silveira, pela coordenação do curso e por presidir a banca de avaliação desta dissertação, por força das circunstâncias.
Ao professor José Geraldo, Pró-Diretor Acadêmico, pelo auxílio nas correções gramaticais desta dissertação.
Ao professor Dr. Miguel Menasche, pela orientação prestada na elaboração desta dissertação, enquanto professor no INATEL, e pelas instruções nas disciplinas
TP505 e TP600.
Ao professor Dr. Anilton Salles Garcia, pelas instruções nas disciplinas
TP508, TP519,