河南师范大学学报（自然科学版）
河南師範大學學報（自然科學版）
하남사범대학학보（자연과학판）
JOURNAL OF HENAN NORMAL UNIVERSITY(NATURAL SCIENCE)
2011年
1期
49-52
,共4页
网格实时事务模型%GRTCC 协议%Petri 网
網格實時事務模型%GRTCC 協議%Petri 網
망격실시사무모형%GRTCC 협의%Petri 망
将网格服务动态性与实时事务替代性相结合, 定义了基于替代服务的网格实时事务模型;并在此模型基础上,进一步提出网格实时事务并发控制协议.最后,通过Petri网理论验证其可行性和正确性.
將網格服務動態性與實時事務替代性相結閤, 定義瞭基于替代服務的網格實時事務模型;併在此模型基礎上,進一步提齣網格實時事務併髮控製協議.最後,通過Petri網理論驗證其可行性和正確性.
장망격복무동태성여실시사무체대성상결합, 정의료기우체대복무적망격실시사무모형;병재차모형기출상,진일보제출망격실시사무병발공제협의.최후,통과Petri망이론험증기가행성화정학성.
