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

Effective Conflict and its Elimnation of Interval Speed Continuous Petri Nets

作　　者：廖伟志[1] 古天龙[2] 

机构地区：[1]西安电子科技大学电子工程学院 [2]桂林电子工业学院计算机系,桂林541004

出　　处：《计算机科学》2006年第10期221-224,F0004,共5页Computer Science

基　　金：国家自然科学基金项目(60243002);广西科学基金项目(桂科基0448072)。

摘　　要：有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。The problem of effective conflict for interval speed continuous Petri nets （ICPN）is discussed. Since the instantaneous firing speed （IFS）is one of key parameters in effective conflict analysis, an efficient way to determine the instantaneous firing speed of Interval speed Continuous Petri Nets is presented. The method to determine and eliminate the effective conflict of an ICPN based on maximum firing mode is proposed. Finally, The methods proposed are illustrated by an example.

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

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置]