Add contains to PetriNet