Compositional high-level Petri net semantics of a parallel programming language with procedures

Hanna Klaudel

首页> 外文期刊>Science of Computer Programming >Compositional high-level Petri net semantics of a parallel programming language with procedures

【24h】

Compositional high-level Petri net semantics of a parallel programming language with procedures

机译：具有过程的并行编程语言的组合高级Petri网语义

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper exhibits the extension of a formal semantics of a parallel programming language, based on high-level Petri nets, in order to cope with procedures. The solution is based on refinement and synchronization operations of high-level Petri nets. It inherits thus properties of the Petri net model, in particular the coherence with elementary Petri nets on which verification techniques are based. Furthermore, the approach formalizes nicely the intuition behind procedures and their parameters, while in the absence of procedurs, our definition and the existing semantics coincide.

机译：本文展示了基于高级Petri网的并行编程语言形式语义的扩展，以应对过程。该解决方案基于高级Petri网的优化和同步操作。因此，它继承了Petri网模型的属性，特别是与验证技术所基于的基本Petri网的一致性。此外，该方法很好地形式化了过程及其参数背后的直觉，而在没有过程的情况下，我们的定义和现有语义是一致的。

著录项

来源
《Science of Computer Programming》 |2001年第3期|p.195-240|共46页
作者
Hanna Klaudel;
展开▼
作者单位

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类计算机软件;
关键词
High-level Petri nets; M-nets; Parallel programming language; Procedures; Refinement; Semantics;

机译：高级陪替氏网;M网并行编程语言;程序;细化;语义学;

相似文献

外文文献
中文文献
专利

1. RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus [J] . Ning Ge, Silvano Dal Zilio, Hongyu Liu, Science of Computer Programming . 2021,第Juna1期

机译：RT-MOBS：基于μ微积分的实时性能规范语言的时间培训率的组成观测器语义
2. Workload decomposition strategies for hierarchical distributed-shared memory parallel systems and their implementation with integration of high-level parallel languages [J] . Sergio Briguglio, Beniamino Di Martino, Gregorio Vlad Concurrency and Computation . 2002,第11期

机译：分层分布式共享内存并行系统的工作量分解策略及其与高级并行语言集成的实现
3. Workload decomposition strategies for hierarchical distributed-shared memory parallel systems and their implementation with integration of high-level parallel languages [J] . Sergio Briguglio, Beniamino Di Martino, Gregorio Vlad Concurrency and Computation . 2002,第11期

机译：分层分布式共享内存并行系统的工作量分解策略及其与高级并行语言集成的实现
4. The Extension of Petri Nets for Description of Operational Semantics of Flowgraph Stream Parallel Programming Language [C] . Li-ping WANG, Qing-xi MA International Symposium on Distributed Computing and Applications to Business, Engineering and Science;DCABES 2007 . 2007

机译：Petri网的扩展，用于描述流程图流并行编程语言的操作语义
5. High-level Petri net semantics of concurrent and non-concurrent logic programs. [D] . Jeffrey, John Michael. 1993

机译：并发和非并发逻辑程序的高级Petri网语义。
6. Automatic Compilation from High-Level Biologically-Oriented Programming Language to Genetic Regulatory Networks [O] . Jacob Beal, Ting Lu, Ron Weiss 2008

机译：从高级的面向生物的编程语言到遗传监管网络的自动编译
7. Compositional high-level Petri net semantics of a parallel programming language with procedures [O] . Klaudel Hanna 2001

机译：具有过程的并行编程语言的组合高级Petri网语义
8. Behavioural Semantics of Parallel Functional Programming Languages [R] . Fijma, D. 1992

机译：并行函数式编程语言的行为语义

Compositional high-level Petri net semantics of a parallel programming language with procedures

摘要

著录项

相似文献

相关主题

期刊订阅