基于π演算的工作流模型检验

上传：superpouer 浏览： 24 推荐： 0 文件：PDF 大小：268.33KB 上传时间：2019-09-05 09:31:14 版权申诉

描繪出馬可夫模型的實踐...透過DTMC方法來討論出離散時間