PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.

Simão, Adenilso Da Silva

Biblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17

Acesso online. A biblioteca também possui exemplares impressos.