作　　者： ; ; ;

机构地区： 广西师范学院计算机与信息工程学院

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

摘　　要： 讨论了区间速率连续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.

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

领　　域： [自动化与计算机技术] [自动化与计算机技术]