move evaluation of functional expressions to ExecutablePetriNet and refactor.