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

【文件属性】：

文件名称：基于π演算的工作流模型检验

文件大小：268KB

文件格式：PDF

更新时间：2015-03-31 19:00:45

MARKAO

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