Excursions of Markov Processes

Let {Xti t ~ O} be a Markov process in Rl, and break up the path X t into (random) component pieces consisting of the zero set ({ tlX = O}) and t the "excursions away from 0," that is pieces of path X. : T ::5 s ::5 t, with Xr- = X = 0, but X. 1= 0 for T < s < t. When one measures the time in t the zero set appropriately (in terms of the local time) the excursions acquire a measure theoretic struc...