"semi-Markov process" Deutsche bedeutung