文献类型：期刊文章

作　　者：廖伟志[1,2] 古天龙[3] 王汝凉[1]

机构地区：[1]广西师范学院信息技术系 [2]西安电子科技大学电子工程系,陕西西安710071 [3]桂林电子工业学院计算机系

出　　处：《小型微型计算机系统》

基　　金：国家自然科学基金项目(60243002;60004004)资助

年　　份：2006

卷　　号：27

期　　号：8

起止页码：1490-1494

语　　种：中文

收录情况：AJ、BDHX、BDHX2004、CSA、CSA-PROQEUST、CSCD、CSCD2011_2012、IC、INSPEC、JST、RCCSE、SCOPUS、ZGKJHX、核心刊

摘　　要：讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法.应用例子表明了所提出行为分析方法的有效性.

关 键 词：区间速率连续PETRI网 行为分析  标识等价类  混杂自动机

分 类 号：TP311]