• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>FTRA international conference on computer science and its applications >Modelling of APGAS Programming Systems with Using of P/T Petri Process Nets
【24h】

Modelling of APGAS Programming Systems with Using of P/T Petri Process Nets

机译：利用P / T Petri过程网对APGAS编程系统建模

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Property-preserving Petri net process algebras (PPPA) were designed for the specification and verification of the Petri net processes. PPPA does not need to verify the composition of the Petri net processes because all their algebraic operators preserve the specified set of the properties. These original PPPA are generalized for the newly introduced class of the P/T Petri process nets (PPPN) in this article. The only one PLACE-SUBST algebraic operator is defined for the class of PPPN and its chosen properties are presented. The PPPN can be with the support of the PLACE-SUBST operator easily applied into the area of design, simulation and verification of multithreading programming systems executed in parallel or distributed environment. This fact is then demonstrated on the simple example based on the Asynchronous Partitioned Global Address Space (APGAS) programming model used in the High Performance (Cloud) Computing environment and implemented in the X10 programming language.
机译：保留属性的Petri网过程代数（PPPA）是为规范和验证Petri网过程而设计的。 PPPA不需要验证Petri网过程的组成，因为它们的所有代数运算符都保留指定的属性集。这些原始的PPPA在本文中针对P / T Petri过程网（PPPN）的新引入类别进行了概括。为PPPN类别定义了唯一的PLACE-SUBST代数运算符，并给出了其选择的属性。 PPPN可以在PLACE-SUBST运算符的支持下轻松应用于在并行或分布式环境中执行的多线程编程系统的设计，仿真和验证领域。然后，在基于高性能（云）计算环境中使用的X10编程语言实现的异步分区全局地址空间（APGAS）编程模型的简单示例中证明了这一事实。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号