| 一类区间速率连续Petri网的可达稳态分析 |
| |
| 引用本文： | 廖伟志,文瑛,王汝凉.一类区间速率连续Petri网的可达稳态分析[J].系统仿真学报,2005,17(Z1):44-47. |
| |
| 作者姓名： | 廖伟志 文瑛 王汝凉 |
| |
| 作者单位： | 广西师范学院信息技术系,广西,南宁,530001 |
| |
| 基金项目： | 国家自然科学基金 (60004004), 广西师范学院青年科研基金. |
| |
| 摘 要： | 连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能与引发语义证明了一类区间速率连续Petri网在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri网在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状态爆炸的问题.
|
| 关 键 词： | 区间速率连续Petri网 稳态 连续加权环 标识 |
| 文章编号： | 1004-731X(2005)S-44-04 |
| 修稿时间： | 2005年5月8日 |
Reachability Analysis of Steady State for A Class of Interval Speed Continuous Petri Nets |
| |
| LIAO Wei-zhi,WEN Ying,WANG Ru-liang.Reachability Analysis of Steady State for A Class of Interval Speed Continuous Petri Nets[J].Journal of System Simulation,2005,17(Z1):44-47. |
| |
| Authors: | LIAO Wei-zhi WEN Ying WANG Ru-liang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
