系统仿真学报
繫統倣真學報
계통방진학보
JOURNAL OF SYSTEM SIMULATION
2005年
z1期
223-228
,共6页
张鹏%杜玉越%左风朝%蒋昌俊
張鵬%杜玉越%左風朝%蔣昌俊
장붕%두옥월%좌풍조%장창준
网格%Petri网%建模%形式化分析%正确性%验证
網格%Petri網%建模%形式化分析%正確性%驗證
망격%Petri망%건모%형식화분석%정학성%험증
应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系.
應用Petri網分析技術對網格體繫進行模擬與驗證.網格體繫中的不確定性由邏輯Petri網錶達,併基于給齣的網格體繫模型,分析驗證瞭網格體繫的正確性和完整性.結果錶明該模型能夠清晰地描述網格體繫的動態行為、靜態性質及動作的因果關繫.
응용Petri망분석기술대망격체계진행모의여험증.망격체계중적불학정성유라집Petri망표체,병기우급출적망격체계모형,분석험증료망격체계적정학성화완정성.결과표명해모형능구청석지묘술망격체계적동태행위、정태성질급동작적인과관계.