自动机Petri网逐层加细法应用于多微处理机系统的设计

本文提出设计多微处理机系统的一种有条理的统一的方法,它基于—Petri网(所谓“自动机”联成的Petri网)逐层加细这一思想。待设计的计算系统所要完成的算法先策略地勾画成最高一级的—Petri网,而后,类似于结构程序设计那样,自顶向下,从最高一级—Petri网这一模型逐步成层次地在解释上加细—Petri网的各结点(p结点解释以数据结构,t结点解释以运算),最终达到用具体的自动机描述各t结点的功能(它们对输入p结点进行处理,将结果传递给输出p结点)。据此,可着手以互连的微处理机群(必要时,补充以随机逻辑)实现出来。作为例子,文中还提出在通用意义上的多微处理机系统,它实现所谓的扩充von Neumann总体结构,其中用并行计算的一图程序类(它实质上又是一类Petri网)代替了通常的串行计算程序。以M6800微计算机族为基础,阐明如何用本文提出的设计方法来实现扩充von Neumann总体结构。