【24h】

The Lookahead Study in Distributed Simulation of Timed Petri Nets

机译:定时培养网分布式模拟的寻求研究

获取原文

摘要

In the design and analysis of discrete event systems, the validation of their models is often addressed via simulation. Petri nets have been applied widely. Lookahead computation is a good method that improves the distributed simulation performance of Timed Transition Petri Nets (TTPN). The approach is based on a part of optimism computed on the prediction time each logical process can determine for its advancement. Timed Petri nets meet these requirements, and use the lookahead to analyze the TTPN model for finding the concurrency and blocking structure, thereby making certain the logical process (LP). The four basic structures and the prediction graph algorithm were presented for the lookahead computing of some complex TTPN models. According to the specialties of lookahead, the lookahead was applied in parallel simulation, and acquire the sufficient condition about the TTPN model existing concurrency.
机译:在离散事件系统的设计和分析中,通常通过模拟解决其模型的验证。 Petri网已被广泛应用。 PookAhead Computation是一种很好的方法,可提高定时转换Petri网(TTPN)的分布式仿真性能。该方法基于在预测时间上计算的乐观情绪的一部分,每个逻辑过程可以确定其进步。定时Petri网满足这些要求,并使用寻求制A分析TTPN模型来查找并发和阻塞结构,从而使某些逻辑过程(LP)。为某种复杂TTPN模型的寻示计算提供了四个基本结构和预测图算法。根据SpeeaHead的专业,寻求的Souppahead在并行模拟中应用,并获得关于TTPN模型现有并发性的充分条件。

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号