作者：崔焕庆; 吴哲辉mpipetri网mpinet动态性质
摘要：对并行程序进行验证以保证正确性是很重要的，但是由于并行程序比串行程序要复杂得多，因此有必要建立它们的模型。MPI是目前应用最广泛的基于消息传递的并行程序编程标准之一。基于MPI程序的特点，提出了MPI并行程序的Petri网模型——MPINet，给出了MPI函数的基本Petri网模型及对程序建模的基本步骤。定义了静态可执行的和并行正确的并行程序，并研究了MPINet的动态性质，包括安全性、可达性、可逆性以及活性。这些方法可以用于其他并行编程标准的分析。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
