一種擴展式動態環境演算范型的Ｐｅｔｒｉ網描述

摘要：為了以可視化的方式驗證擴展式動態環境演算范型對移動協同中移動性和協作性的描述能力及描述語義的正確性，提出了一種擴展式動態環境演算范型的Petri網描述(PND)。首先，給出基本演算實體的Petri網表示，用Petri網的順序行為理論和并發行為理論中的變遷來表達任意動作，用庫所來表達任意動作前后的各種環境狀態及其變量。其次，給出演算實體的各操作語義關系的Petri網表示，并引入弧權重來刻畫動作與其前后相關的環境、狀態的相互作用關系。最后，引入了Petri網的合成理論，用簡單Petri網合成法來構造動態復雜環境的模型。采用染色Petri網工具進行仿真，結果表明PND具有正確的描述語義，從而進一步為擴展式動態環境演算范型的有效性提供了有力的論證。

關鍵詞：移動計算；環境演算；染色Petri網

中圖分類號：TP391.41 文獻標志碼：A 文章編號：0253—987X(2008)10—1230—05