Sacramento Xavier Barreto Rosa Pedro / PetriNetworks