@MASTERSTHESIS{ 2003:1234262224,
 	title = {Modelagem e an?lise formal de algumas funcionalidades de um protocolo de transporte atrav?s das redes de Petri},
 	year = {2003},
 	url = "http://tede.inatel.br:8080/tede/handle/tede/162",
 	abstract = "Esta disserta??o aplica um m?todo formal para o estudo, modelagem e
 an?lise de algumas fucionalidades do protocolo de transporte denominado SCTP.
 Este protocolo vem sendo desenvolvido h? mais de cinco anos pelo IETF e alcan?ou
 um n?vel de efici?ncia em funcionalidade t?o grande que est? sendo considerado o
 prov?vel candidato para substituir o TCP. ? ideal para ser utilizado conjuntamente
 com o IPv6. Para a modelagem e an?lise, ? empregado um formalismo matem?tico
 denominado Rede de Petri, que ? uma ferramenta de modelagem e an?lise formal de
 sistemas concorrentes e paralelos, e cujo estudo e apresenta??o ? parte integrante do
 trabalho. Neste trabalho, utilizam-se algumas ferramentas computacionais de aux?lio
 ? modelagem e an?lise de Redes de Petri, denominadas PAREDE e Design/CPN.
 Estas ferramentas computacionais foram escolhidas por implementarem extens?es da
 teoria formal b?sica de Rede de Petri, possibilitando a modelagem de Redes de Petri
 com propriedades temporais e coloridas, al?m de implementarem m?todos de an?lise
 formal das redes. Os modelos do protocolo SCTP desenvolvidos em Redes de Petri
 fornecem um n?vel de detalhes suficientes para conduzir uma an?lise de
 comportamento funcional e de certas propriedades, como aus?ncia de bloqueios
 (deadlocks), sincronismo e seq??ncia correta de mensagem, al?m da checagem da
 consist?ncia da especifica??o oficial do SCTP, a RFC2960.",
 	publisher = {Instituto Nacional de Telecomunica??es},
 	scholl = {Mestrado em Engenharia de Telecomunica??es},
 	note = {Instituto Nacional de Telecomunica??es}
}