用于有限状态的半马尔柯夫过程的理论、建模计算及应用(This book aims to give a complete and self-contained presentation of semi-Markov processes with finitely many states, divided into three major topics: theory, computation, and application in a correct approach for buildin