Constructing proper Markov semigroups for Arveson systems