%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