μ—Petri网多微处理机实现的设计方法论

本文探讨在以多微处理机实现μ-Petri网(一种加以半解释的安全Petri网)这一工作中可遵循的设计方法论。先定义μ-Petri网可描述相当广泛类型的并行异步过程的控制结构。引入μ-Petri网的标准型式后,将μ-Petri网转换成标准的异步时序线路,再写出此异步时序线路在容许输入序列集下的转移/输出表(编了码的流程表)。分裂转移/输出表(如果给定的μ-Petri网规模相当大,特别是p结点为数相当多,因而此表也相应大),提出相应的多微处理机总体结构。以M—6800微计算机族为例,阐明如何实现μ-Petri网成多微处理机系统。