-
题名基于模糊逻辑的CCPN瞬时引发速率求解方法
- 1
-
-
作者
廖伟志
古天龙
-
机构
广西师范学院信息技术系
桂林电子工业学院计算机系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第9期34-36,共3页
-
基金
国家自然科学基金资助项目(60563005)
广西青年科学基金资助项目(桂科青0640032
+1 种基金
桂科基0448072)
广西教育厅自筹项目(200508174)
-
文摘
瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型,实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法,解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。
-
关键词
连续PETRI网
模糊逻辑
瞬时引发速率
有效冲突
-
Keywords
Continuous Petri nets： Fuzzy logic
Instant firing speed
Effective conflict
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名区间速率连续Petri网的有效冲突及其消解
被引量：7
- 2
-
-
作者
廖伟志
古天龙
-
机构
西安电子科技大学电子工程学院
桂林电子工业学院计算机系
-
出处
《计算机科学》
CSCD
北大核心
2006年第10期221-224,F0004,共5页
-
基金
国家自然科学基金项目(60243002)
广西科学基金项目(桂科基0448072)。
-
文摘
有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。
-
关键词
区间速率连续PETRI网
有效冲突
瞬时引发速率
标识等价美
-
Keywords
Interval speed continuous Petri nets, Effective conflict, Instantaneous firing speed, marking equivalence
-
分类号
TP271.8
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名一种混杂Petri网模型动态演变研究
被引量：1
- 3
-
-
作者
廖伟志
古天龙
-
机构
广西师范学院信息技术系
桂林电子工业学院计算机系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第4期645-650,共6页
-
基金
国家自然科学基金项目(60563005)资助
广西科学基金项目(桂科青0640032)资助
+1 种基金
广西教育厅项目(200508174
自筹项目)资助.
-
文摘
为了实现R.David和H.Alla所定义的混杂Petri网模型行为分析的正确性,提出了一个通用的模型动态演变方法.该方法给出了基于线性规划方法的混杂Petri网瞬时引发速率求解方法,解决了有效冲突情形下的瞬时引发速率求解问题.分析了改变不变行为(Invariant Behavior,简称IB)状态事件之间的相互作用及其对模型演变正确性的影响,同时提出了判定改变IB状态事件的方法.例子表明了所提出的理论与方法对混杂Petri网模型动态演变正确求解的重要性和有效性.
-
关键词
混杂PETRI网
动态演变
瞬时引发速率
有效冲突
-
Keywords
hybrid petri nets
dynamic evolution
instant firing speed
effective conflict
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
