首页> 外文会议>International Workshop on Petri Nets and Performance Models >Operational analysis of timed Petri nets and application to the computation of performance bounds
【24h】

Operational analysis of timed Petri nets and application to the computation of performance bounds

机译:定时Petri网的操作分析及其在绩效界限计算中的应用

获取原文
获取外文期刊封面目录资料

摘要

Operational analysis techniques are used to partially characterize the behavior of timed Petri nets under very weak assumptions on their timing semantics. New operational inequalities are derived that are typical of the presence of synchronization and that were therefore not considered in queuing network models. An interesting application of the operational laws to the statement and the efficient solution of problems related to the estimation of performance bounds insensitive to the timing probability distributions is shown. The results obtained generalize and improve in a clear setting results that were derived in the last few years for several different subclasses of timed Petri nets. In particular, the extension to well-formed colored nets appears straightforward and allows an efficient exploitation of model symmetries.
机译:操作分析技术用于部分地表征定时培养网在其定时语义上非常弱的假设下的行为。导出了新的操作不平等,这是典型的同步存在,因此在排队网络模型中不考虑。显示了对陈述的有趣操作,以及与对定时概率分布不敏感的性能范围估计有关的有效解决问题的有效解决问题。结果概括和改善了在过去几年中衍生的澄清设定结果,对于定时培养网的几个不同子类。特别是,良好形成的彩网的延伸显得简单,并且允许有效地利用模型对称性。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号