区间速率连续Petri网的瞬时引发速率分析  

Instantaneous Firing Speed Analysis of Interval Speed Continuous Petri Nets

作　　者：廖伟志[1] 文瑛[1] 

机构地区：[1]广西师范学院信息技术系,广西南宁530001

出　　处：《广西师范学院学报（自然科学版）》2006年第1期42-50,共9页Journal of Guangxi Teachers Education University(Natural Science Edition)

基　　金：广西教育厅项目（200508174）

摘　　要：瞬时引发速率（Instant firing speed，IFS）是连续Petrl网模型演变图构造的一个关键参数，其分析正确与否决定着区间速率连续Petri网模型行为分析的正确性．文献[8]仅对无有效冲突情形下的最大引发模式下的IFS进行讨论，未给出任意模式下的IFS求解方法．本文定义了区间速率连续Petri网的标识等价类，提出了区间速率连续Petri网在任意标识下的使能及其瞬时引发速率的有效分析方法；并对基于最大引发速率的有效冲突问题进行讨论，给出了基于优先级的最大引发速率的求解方法；最后给出相应的例子．An ICPNs （Interval Speed Continuous Petri Nets） model is a general Continuous Petri Nets model, The instantaneous firing speed （IFS） is one of key parameters in performance analytic. This paper presents an efficient analysis way to determine the instantaneous firing speed of Interval Speed Continuous Petri Nets. The methods proposed are illustrated by several cases.

关 键 词：区间速率连续PETRI网 使能矢量 瞬时引发速率 最大引发速率 

分 类 号：TP37[自动化与计算机技术—计算机系统结构]