@inproceedings{inproceedings45b8625a,
title   = {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},
author = {Zanata, S. A. and Silva, José Reinaldo},
year = {1996},
publisher = {Usp},
booktitle   = {Simpósio de Iniciação Cientifica da Universidade de São Paulo}
}