functions in marking , PetriNet
get directly reachable markings from a marking -- done