%0 Journal Article
%T 区间速率连续petri网的有效冲突及其消解
%J 计算机科学
%D 2006
%X 有效冲突是petri网及其扩展模型的重要行为。本文讨论了区间速率连续petri网模型的有效冲突问题。通过划分区间速率连续petri网的标识等价类，提出了区间速率连续petri网在任意标识下的瞬时引发速率的有效求解方法，并提出了区间速率连续petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。
%K 区间速率连续petri网有效冲突瞬时引发速率标识等价美
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=22963340&flag=1