Análise e modelagem de sistemas a eventos discretos. Cálculo da distância sincrona e estudo do problema de atingibilidade em redes de petri c / e, p / t e extendidas - Zanata, S. A.; Silva, José Reinaldo (Simpósio de Iniciação Cientifica da Universidade de São Paulo, 1996)