Text this: Construção de um simulador de redes ATM baseado em redes de petri