基于Petri网的逻辑程序并行模型

THE PARALLEL MODEL OF LOGIC PROGRAMS BASED ON PETRI NETS

利用Petri网能有效地描述和分析并行性的特点,开发逻辑程序所固有的AND/OR并行性。首先介绍了Horn子句集转化为 Petri网模型的规则,然后给出了基于Petri网的逻缉程序并行模型和它的二个应用关系运算的实现策略,最后给出了一个例子。

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.