對象技術是當前軟體開發的主流技術並且日益被網路和分布計算領域接納和採用,如現在非常流行的分布對象實現模型EJB、CORBA和DCOM。Petri網是描述具有異步並發特徵系統的優秀形式化圖形建模工具。因此如何結合對象技術和Petri網一直是一個研究熱點。
外文題名
Multi-level modeling of concurrent object-oriented system with Petri nets
論文作者
喻堅著
導師
袁崇義教授指導
學科專業
計算機軟體與理論
學位級別
d 2002n
學位授予單位
北京大學
學位授予時間
2002
關鍵字
軟體開發 並發對象 Petri網
館藏號
TP311
唯一標識符
108.ndlc.2.1100009031010001/T3F24.002332619
館藏目錄
2003\TP311\26