You may look at the paper Regressive functions and stationary sets by Kirsten Steffens:
Review from Mathscinet:
The notions of closed unbounded sets, regressive functions, stationary sets and diagonal intersections are generalized to a wide range of partially ordered sets. The main theme is a generalization of Fodor's theorem and conditions are given under which the generalized theorem holds.