10.3969/j.issn.1002-137X.2006.10.060
区间速率连续Petri网的有效冲突及其消解
有效冲突是Petri网及其扩展模型的重要行为.本文讨论了区间速率连续Petri网模型的有效冲突问题.通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法.最后给出相应的分析例子.
区间速率连续Petri网、有效冲突、瞬时引发速率、标识等价类
33
TP3(计算技术、计算机技术)
国家自然科学基金60243002;广西科学基金0448072
2006-11-13(万方平台首次上网日期,不代表论文的发表时间)
共5页
221-224,封四