MPI集群通信函数的Petri网模型

摘要：

研究并行程序的验证问题对于提高并行编程的效率具有十分重要的意义,本文在”1”的基础上,建立了目前普遍使用的基于消息传递的并行程序编写标准之一--消息传递接口(MPI)的集群通信函数的Petri网模型,从而为进一步研究MPI并行程序的Petri网模型及其性质奠定了基础。

关键词： Petri网模型 MPI 集群通信 并行程序编写 消息传递接口

作者: 崔焕庆 吴哲辉 井艳芳

作者单位: 山东科技大学信息科学与工程学院,山东青岛,266510 聊城大学计算机学院,山东,聊城,252001

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 52-54,58

在线出版日期: 2005-10-01（万方平台首次上网日期，不代表论文的发表时间）