Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds
Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds
复制标题
使用间隔定时彩色 Petri 网计算性能界限
DOI：
--
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
Wil M.P. van der Aalst
中科院分区：
文献类型：
--
作者：
Wil M.P. van der Aalst
几乎所有现有的技术领域的性能评估提供估计（即平均值和变化）的性能指标，如：响应时间，吞吐量时间，占用率等，但是，当评估的设计时间要求严格的系统，我们特别感兴趣的是这些性能指标的准确界限。在核电厂中，我们关心的是控制器的最大响应时间，这种控制器的平均响应时间是次要的。
Nearly all existing techniques in the field of performance evaluation provide estimates (i.e. average and variation) for performance measures like: response times, throughput times, occupations rates, etc. However, when evaluating the design of a time-critical system, we are particularly interested in accurate bounds for these performance measures. We are concerned with the maximal response time of a controller in a nuclear power plant, the average response time of this controller is of less importance.