区间速率连续petri网的有效冲突及其消解

有效冲突是petri网及其扩展模型的重要行为。本文讨论了区间速率连续petri网模型的有效冲突问题。通过划分区间速率连续petri网的标识等价类，提出了区间速率连续petri网在任意标识下的瞬时引发速率的有效求解方法，并提出了区间速率连续petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。