| 基于Petri网的逻辑程序并行模型 |
| |
| 引用本文： | 徐志农.基于Petri网的逻辑程序并行模型[J].暨南大学学报,1991,12(3):26-31. |
| |
| 作者姓名： | 徐志农 |
| |
| 作者单位： | 暨南大学计算机科学系 |
| |
| 摘 要： |
|
| 关 键 词： | Petri网 逻辑程序 并行模型 |
THE PARALLEL MODEL OF LOGIC PROGRAMS BASED ON PETRI NETS |
| |
| Xu Zhinong.THE PARALLEL MODEL OF LOGIC PROGRAMS BASED ON PETRI NETS[J].Journal of Jinan University(Natural Science & Medicine Edition),1991,12(3):26-31. |
| |
| Authors: | Xu Zhinong |
| |
| Institution: | Dept of Computer Science |
| |
| Abstract: | In this paper, the parallel model of logic programs based on Petri nets is investigated. The main idea used here is that, Petri nets which efficiently describe and analyse parallelism can also explore the AND/OR-parallelism of Iogic programs. Firstly. the rules for translating Iogic programs into its Petri net models are presented. Secondly. the parallel model of logic program based on Petri nets and two schemes using relational operations for implemcnting" the parallel model are also given. Finally, an example is demonstrated. The significance of the work is that Petri nets provide an efficient approach towards the parallel implementation of Iogic programs. |
| |
| Keywords: | Logic programming Horn clauses Petri nets Parallel programming Parallel models AND/OR parallelism |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
