• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Computational Science pt.3; 20040606-20040609; Krakow; PL >Petri Nets as Executable Specifications of High-Level Timed Parallel Systems
【24h】

Petri Nets as Executable Specifications of High-Level Timed Parallel Systems

机译：Petri网作为高级定时并行系统的可执行规范

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

We propose to use high-level Petri nets for the semantics of high-level parallel systems. This model is known to be useful for the of verification and we show that it is also executable in a parallel way. Executing a Petri net is easy in general but more complicated in a timed context, which makes necessary to synchronise the internal time of the Petri net with the real time of its environment. Another problem is to relate the execution of a Petri net, which has its own semantics, to that of its environment; i.e., to properly handle input/output. This paper presents a parallel algorithm to execute Petri nets with time enforcing the even progression of the internal time with respect to the real time and allowing the exchange of information with the environment. We define a class of Petri nets suitable for a parallel execution machine which preserves the step sequence semantics of the nets and ensures time consistent executions while taking into account the solicitation of its environment. The question of the efficient verification of such nets has been addressed in a separate paper, the present one is focused on the practical aspects involved in the execution of so modelled systems.
机译：我们建议将高级Petri网用于高级并行系统的语义。已知该模型对于验证非常有用，我们证明它也可以并行执行。通常，执行Petri网络很容易，但是在定时上下文中则更为复杂，这使得必须将Petri网络的内部时间与其环境的实时时间进行同步。另一个问题是将具有自己语义的Petri网的执行与环境相关联。即正确处理输入/输出。本文提出了一种并行算法，用于执行具有时间的Petri网，以增强内部时间相对于实时的均匀进展，并允许与环境进行信息交换。我们定义了适用于并行执行机器的一类Petri网络，该机器保留了网络的步骤顺序语义，并在考虑环境要求的同时确保时间一致的执行。这种网络的有效验证问题已经在另一篇论文中讨论过，目前的问题集中在执行如此建模的系统所涉及的实际方面。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号