Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação
AUTOR(ES)
Mauro Marton
DATA DE PUBLICAÇÃO
1989
RESUMO
Não informado
ASSUNTO(S)
redes de petri engenharia eletrica telematica
ACESSO AO ARTIGO
http://libdigi.unicamp.br/document/?code=vtls000026471Documentos Relacionados
- Analisador automatico de rede de Petri para validação de protocolos de comunicações
- Modelos baseados em extensões de rede de Petri para analise de protocolos de comunicação
- Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri
- Reciclagem de cobre proveniente de analisador automático de carbono e nitrogênio
- Construção de um espectrofotometro multicanal e de um analisador automatico de fluxo monossegmentado