MPP系统模型化的广义随机Petri网技术

本文提出一种模型化海量并行处理（ＭＰＰ）系统的广义随机Ｐｅｔｒｉ网技术ＧＳＰＮ。首先，通过外延优先权标记Ｐｅｔｒｉ网，提出了ＧＳＰＮ的定义、时序规范、变迁激光规则和计算公式。然后，讨论使用ＧＳＰＮ模型化ＭＰＰ系统的技术途径和实现方案，分别阐述了ＧＳＰＮ形式化描述共享存储器方式和信息传递方式ＭＰＰ系统的有效怀，并给出了实例。此外，我们还分析和提出了ＣＳＰ（通信顺序进程）理论中主要进程与Ｐｅｔｒｉ网之

GENERALIZED STOCHASTIC PETRI NET TECHNOLOGY OF MODELLING MPP SYSTEMS

A generalized stochastic petri net technology which can be used to model massively parallel processing systems, named as GSPN, is presented. At first, the definition and temporal specification of GSPN are described by extending the Marked Petri Net with Priorities, the firing rules of transition and calculus formula are given. Then, the technical approach and implementation methods of modelling MPP systems are described by using GSPN.The effectiveness of this modelling technique in the cases of share-memory structures and message passing architectures are discussed respectively, and the associated instances are given. In addition, the mapping relationship between main processes of CSP(Communicating Sequential Processes) and petri net is proposed. Using GSPN can conveniently model MPP architecture, precisely describe the dymantic operations and states of system, and it provide a new approach to model, specify, analyze and evaluate MPP systems.