您的位置: 专家智库 > >

李志光

作品数:1 被引量:0H指数:0
供职机构:上海大学计算机工程与科学学院更多>>
发文基金:上海市教育委员会重点学科基金香港理工大学研究基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇模型化
  • 1篇PETRI网
  • 1篇PETRI网...
  • 1篇MPP
  • 1篇并行处理
  • 1篇并行处理系统
  • 1篇处理系统
  • 1篇PETRI网

机构

  • 1篇上海大学
  • 1篇香港理工大学

作者

  • 1篇管惠维
  • 1篇李志光

传媒

  • 1篇小型微型计算...

年份

  • 1篇1997
1 条 记 录,以下是 1-1
排序方式:
MPP系统模型化的广义随机Petri网技术
1997年
本文提出一种模型化海量并行处理(MPP)系统的广义随机Petri网技术GSPN。首先,通过外延优先权标记Petri网,提出了GSPN的定义、时序规范、变迁激发规则和计算公式。然后,讨论使用GSPN模型化MPP系统的技术途径和实现方案。分别阐述了GSPN形式化描述共享存储器方式和信息传递方式MPP系统的有效性,并给出了实例。此外,我们还分析和提出了CSP(通信顺序进程)理论中主要进程与Petri网之间的映射关系。使用GSPN,能够方便地模型化MPP结构,清晰地刻划和描述系统的动态操作和状态,为MPP系统的设计、性能描述。
管惠维李志光
关键词:PETRI网并行处理系统模型化
共1页<1>
聚类工具0