Petri网的T精炼及在并行程序设计中的应用

摘要：

研究了Petri网T精炼和P精炼操作,分别讨论了T精炼操作对于状态不减性、行为相关性、公平性和等保持关系.基于这些操作给出了MPI并行程序逐步求精的设计方法,给出了设计思路,有助于减少了程序中通讯有关的错误.

关键词： Petri网 精炼操作 并行程序设计

作者: 张鹏 戚梅

作者单位: 山东科学大学计算机科学系,青岛,266510;同济大学电子与信息工程学院计算机科学与工程系,上海,200092;国家高性能计算机工程技术研究中心同济分中心,上海,200092 山东科技大学计算机科学系,青岛,266510

会议类型: 国内会议

会议名称: 中国自动化学会华东地区第十九届学术年会

会议地点: 山东青岛

会议语种:中文

页码: 314-317

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