【摘要】 文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法从而给出分析区间速率连续Petri网可达稳态必要性的有效方法;最后给出一个应用例子,考察区间速率连续Petri网的可达稳态问题。更多还原

【Abstract】 The reachability of steady state is one of key parameters in performance analysis for Interval Speed Continuous Petri Nets.This paper presents an efficient analysis way to determine the necessity of reachability steady state for Interval Speed Continuous Petri Nets.The methods proposed are illustrated by a case.更多还原