区间速率连续Petri网可达稳态必要性分析  

Necessity of Reachability Steady State for Interval Speed Continuous Petri Nets

作　　者：廖伟志[1] 王汝凉[1] 

机构地区：[1]广西师范学院信息技术系,南宁530001

出　　处：《计算机工程与应用》2005年第25期78-80,119,共4页Computer Engineering and Applications

基　　金：国家自然科学基金(编号:60004004);广西师范学院青年科研基金

摘　　要：文章就区间速率连续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.

关 键 词：区间速率连续PETRI网 稳态 标识向量 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]