Analisador automatico de rede de Petri para validação de protocolos de comunicações - Arantes, Magda Patricia Caldeira (1988)
Orientador: Shusaburo Motoyama