摘要
利用PVM程序中抽取Petri网的方法实现了MPI程序的部分功能语句的Petri网抽象,并分别针对MPI-1和MPI-2在通信方式上的新特性给出对应的Petri网模型抽象方法,使利用Pertri网模型对MPI程序正确性进行理论验证成为可能。
Based on the measures of abstracting the PVM program into Petri Net model, a similar way is provided for MPI program. For some new features appeared in MPI-1 and MPI-2 system, corresponding solutions are also provided . It leads to an access to validate the communication part of an MPI program by using Petri Net at the theoretical stage.
出处
《计算机应用与软件》
CSCD
北大核心
2007年第10期205-206,209,共3页
Computer Applications and Software
作者简介
畦聃，硕士生，主研领域：电子商务。
