区间速率连续Petri网模型行为分析研究  

Behavior Analysis of Interval Speed Continuous Petri Nets

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

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

出　　处：《小型微型计算机系统》2006年第8期1490-1494,共5页Journal of Chinese Computer Systems

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

摘　　要：讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法.应用例子表明了所提出行为分析方法的有效性.The problem of behavior analysis for interval speed continuous Petri nets （ICPN） was discussed. Firstly, in terms of the equivalence between the markings, an efficient way to compute the instant firing speed for ICPN was presented, and the behavior analysis algorithm was developed. Secondly, an algorithm for constructing the hybrid automata associated with the behavior evolution of ICPN was proposed. Finally, the effectiveness of the proposed analysis technique was illustrated through an example.

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

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]