|
|||||
|
|
| 基于Petri网的点到点通信并行程序验证 | |
| 引用本文： | 印玉兰,崔焕庆. 基于Petri网的点到点通信并行程序验证[J]. 安徽理工大学学报(自然科学版), 2007, 27(1): 35-38 |
| 作者姓名： | 印玉兰 崔焕庆 |
| 作者单位： | 安徽理工大学数理系,安徽,淮南,232001;山东科技大学信息科学与工程学院,山东,青岛,266510 |
| 摘 要： | 基于消息传递的编程模式是目前编写高性能应用程序的主流,而点到点通信函数是最基本的函数。基于点到点通信函数的特点,使用Petri网模拟它们的执行过程,利用控制库所充分展示了各种点到点通信函数之间的区别。然后给出对基于点到点通信的并行程序进行建模和验证的过程,并举例说明了这个方法的有效性。 |
| 关 键 词： | 点到点通信 建模 Petri网 控制库所 |
| 文章编号： | 1672-1098(2007)01-0035-04 |
| 修稿时间： | 2005-12-12 |
Verification of Parallel Programs of Point-To-Point Communication Based on Petri Net |
|
| YIN Yu-lan,CUI Huan-qing. Verification of Parallel Programs of Point-To-Point Communication Based on Petri Net[J]. Journal of Anhui University of Science and Technology:Natural Science, 2007, 27(1): 35-38 | |
| Authors: | YIN Yu-lan CUI Huan-qing |
| Affiliation: | 1. Dept. of Mathematics and Physics, Anhui University of Science and Technology, Huainan Anhui 232001,China;2. College of Information Science and Engineering, Shandong University of Science and Technology, Qingdao Shandong 266510 ,China |
| Abstract: | It is the message-passing mode that is the mainstream implementing high-performance applications,and point-to-point communication procedures are the basic.The differences between all kinds of point-to-point communication are illustrated with control places in simulating the peformance of the procedures by Petri net based on their characteristics.Furthermore,the steps to model and verify a program based on point-to-point communication are presented,and an example is provided to validate the method. |
| Keywords: | point-to-point communication modeling Petri net control places |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |