摘要
瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型,实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法,解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。
As the traditional iterate algorithm found out, the instant firing speed (IFS) of CCPN may not be used when there is actual conflict, Z.Hanzalek has proposed a method to find the IFS for maximal speed CCPN based on the resolution of actual conflicts by global priorities. Since the priority of transition is constant, it could not be variable with the dynamic parameters of CCPN. Also, the proposed method does not comply with the semantic of CCPN. This paper makes following contributions: (1)proposes a fuzzy decision model to determine the priority of a transition; (2) develops a resolution of actual conflicts according to the semantic of CCPN: (3)gives an efficient way to determine the instant firing speed of CCPN based on linear programming.
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第9期34-36,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60563005)
广西青年科学基金资助项目(桂科青0640032
桂科基0448072)
广西教育厅自筹项目(200508174)