Um metodo para a validação de protocolo de comunicação especificado em SDL utilizando rede de Petri - Tamura, Roberto Toshiyuki (1988)
Orientador: Shusaburo Motoyama