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

Behavior Analysis of Interval Speed Continuous Petri Nets

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