Changing PetriNet event management in order it deals with pointers instead of string