Parte da classe RedesDePetri!