Petri网共享合成及其在并行系统中的应用

摘要：

为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法.对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明.提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例.实验结果表明,共享合成运算是构建MPI并行程序Petri网模型的一种有效方法.

关键词：Petri网、共享合成、MPI并行程序、顺序合成、进程合成、合成算法

所属期刊栏目：32

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金项目60864001;广西自然科学基金项目0731028;广西教育厅科研基金项目200911MS144

在线出版日期：2011-07-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：968-971,983