一类区间速率连续Petri网的可达稳态分析
连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(IntervalspeedContinuousPetriNets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能与引发语义证明了一类区间速率连续Petri网在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri网在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状态爆炸的问题。
区间速率连续Petri网 可达稳态 连续加权环 标识 构造演变图
廖伟志 文瑛 王汝凉
广西师范学院信息技术系,广西,南宁,530001
国内会议
江苏镇江
中文
44-47
2005-10-01（万方平台首次上网日期，不代表论文的发表时间）