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

摘要

为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法.对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明.提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例.实验结果表明,共享合成运算是构建MPI并行程序Petri网模型的一种有效方法.%For Petri net to be applied in verifying the correctness and the property of the MPI parallel program, the principles and the algorithm for constructing Petri net of the MPI parallel program by sharing composition algorithm of Petri net synthesis are proposed. First,the structure and the information passage of the MPI parallel program are analyzed, then it fries to further apply the composition algorithm sharing, which is currently used for two Petri, to multi-Petri nets, proposing and testifying the theorem for further applications, and finally, it sets forth the algorithm for and gives examples of constructing Petri net of the MPI parallel program by sharing composition algorithm of Petri net synthesis. Experimental result shows that sharing Petri net synthesis is effective in constructing models for Petri net of the MPI parallel program.