• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Computational Science - ICCA 2003 Pt.2 Jun 2-4, 2003 Melbourne, Australia and St. Petersburg, Russia >Replicated Ambient Petri Nets
【24h】

Replicated Ambient Petri Nets

机译：复制环境Petri网

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

摘要

Recently we have introduced Ambient Petri nets, as a multilevel extension of the Elementary Object Systems, that can be used to model the concept of nested ambients from the Ambient Calculus. Both mobile computing and mobile computation are supported by that calculus, and then by means of our Ambient Petri nets we get a way to introduce in the world of Petri nets these important features of nowadays computing. Nevertheless, our basic proposal does not yet provide the suitable background for the modeling of replication, one of the basic operators from the original calculus, by means of which infinite processes are introduced and treated in a very simple way. In this paper we enrich our framework by introducing that operator. We obtain a simple and nice model in which the basic nets are still static and finite, since the dynamics of the systems can be covered by the adequate notion of marking, where all the copies generated by the application of the replication operator will live together, without interfering in an inadequate way.
机译：最近，我们引入了环境Petri网，作为基本对象系统的多级扩展，可用于对环境演算中嵌套环境的概念进行建模。该演算支持移动计算和移动计算，然后借助我们的Ambient Petri网，我们可以在Petri网的世界中介绍当今计算的这些重要特征。但是，我们的基本建议尚未为复制建模提供合适的背景，复制是原始演算的基本运算符之一，通过该运算符可以非常简单地引入和处理无限的过程。在本文中，我们通过引入该运算符来丰富我们的框架。我们获得了一个简单而美观的模型，其中基本网络仍然是静态且有限的，因为系统的动态性可以由适当的标记概念覆盖，其中由复制运算符的应用程序生成的所有副本将一起生活，不会以不适当的方式进行干预。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号