首页> 外文会议>Formal methods for open object-based distributed systems >Actors and Virtual Time: an Experience usign Time Warp, Timed Petri Nets and Cellular Networks
【24h】

Actors and Virtual Time: an Experience usign Time Warp, Timed Petri Nets and Cellular Networks

机译:演员和虚拟时间:使用时间扭曲,定时陪替氏网和蜂窝网络的体验

获取原文
获取原文并翻译 | 示例

摘要

This paper describes an actor based framework which allows the development of distributed time dependent applications. The approach is centred on light-weight actors and on reflection techniques which provide a time-sensitive message scheduling structure. As a significant application, the paper reports an experience using an implementation of a Time Warp mechanism upon which an effective simulation model of generalised timed Petri nets (TPN) is built. The TPN structure is then used to analyse a formal model for large cellular networks. Some performance measures are finally provided.
机译:本文介绍了一个基于参与者的框架,该框架允许开发与时间相关的分布式应用程序。该方法以轻量级参与者和反射技术为中心,后者提供了对时间敏感的消息调度结构。作为一项重要的应用,本文报告了使用时间扭曲机制的一种经验,在该机制上建立了通用定时Petri网(TPN)的有效仿真模型。然后将TPN结构用于分析大型蜂窝网络的形式模型。最后提供一些性能指标。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号