期刊文献+
任意字段
题名或关键词
题名
关键词
摘要
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
A Method to Detect the Abnormal Phenomenonin PVM Program Based on Petri Net 认领 引用 被引量：2
1
作者 JIANG ChanaiunLI CaiweiZHANG Zhaoqing and QI 《Systems Science and Systems Engineering》 1999年第2期165-178,共14页
The parallel program verification can be divided into two aspects, the communicationand computation verification. In this paper, we mainly study the communication verification. First,we establish the Petri net specifi... The parallel program verification can be divided into two aspects, the communicationand computation verification. In this paper, we mainly study the communication verification. First,we establish the Petri net specification for communication functions and basic statements of PVM;then, we give the steps of designing program verification model and abstract the abnormal phenomenonthat users often meet in the PVM parallel program into the characters of Petri net (including soleinformation, insufficient information, deadlock and livelock); finally, we give some detection algorithmto help users to eliminate these errors. In order to decrease the complexity of verification, we proposeseveral rules to simple the verification model. 展开更多
关键词 parallel program verification Petri net verification model verification algorithm
已选0条
引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
在线咨询 使用帮助 返回顶部 意见反馈