摘要： 瞬时引发速率是连续Petri网模型分析的基础和关键。引入模糊理论提出了一种基于模糊决策的迁移优先权的模糊综合评价模型，实现了迁移优先权的动态计算。提出了基于线性规划方法的瞬时引发速率的求解算法，解决了有效冲突情形下瞬时引发速率的求解问题。实例表明了所提出方法的有效性。

关键词: 连续Petri网, 模糊逻辑, 瞬时引发速率, 有效冲突

Abstract: 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.

Key words: Continuous Petri nets, Fuzzy logic, Instant firing speed, Effective conflict

中图分类号: 

• TP301