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

摘要：

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

关键词：区间速率连续Petri网、有效冲突、瞬时引发速率、标识等价类

所属期刊栏目：33

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60243002;广西科学基金0448072

在线出版日期：2006-11-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：221-224,封四