| 区间速率连续Petri网的瞬时引发速率分析 |
| |
| 引用本文： | 廖伟志,文瑛.区间速率连续Petri网的瞬时引发速率分析[J].广西师范学院学报(自然科学版),2006,23(1):42-50. |
| |
| 作者姓名： | 廖伟志 文瑛 |
| |
| 作者单位： | 广西师范学院信息技术系,广西南宁530001 |
| |
| 基金项目： | 广西教育厅项目（200508174） |
| |
| 摘 要： | 瞬时引发速率（Instant firing speed，IFS）是连续Petrl网模型演变图构造的一个关键参数，其分析正确与否决定着区间速率连续Petri网模型行为分析的正确性．文献8]仅对无有效冲突情形下的最大引发模式下的IFS进行讨论，未给出任意模式下的IFS求解方法．本文定义了区间速率连续Petri网的标识等价类，提出了区间速率连续Petri网在任意标识下的使能及其瞬时引发速率的有效分析方法；并对基于最大引发速率的有效冲突问题进行讨论，给出了基于优先级的最大引发速率的求解方法；最后给出相应的例子．
|
| 关 键 词： | 区间速率连续Petri网 使能矢量 瞬时引发速率 最大引发速率 |
| 文章编号： | 1002-8743（2006）01-0042-09 |
| 收稿时间： | 2005-12-20 |
Instantaneous Firing Speed Analysis of Interval Speed Continuous Petri Nets |
| |
| LIAO Wei-zhi, WEN Ying.Instantaneous Firing Speed Analysis of Interval Speed Continuous Petri Nets[J].Journal of Guangxi Teachers Education University:Natural Science Edition,2006,23(1):42-50. |
| |
| Authors: | LIAO Wei-zhi WEN Ying |
| |
| Institution: | Department of Information Technology, Guangxi Teachers Education University, Nanning 530001, China |
| |
| Abstract: | |
| |
| Keywords: | Interval Speed Continuous Petri Nets enabling vector instantaneous firing speed maximum firing speed |
| 本文献已被 维普 等数据库收录！ |
