一类区间速率连续Petri网的可达稳态分析  

Reachability Analysis of Steady State for A Class of Interval Speed Continuous Petri Nets

作　　者：廖伟志[1] 文瑛[1] 王汝凉[1] 

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

出　　处：《系统仿真学报》2005年第z1期44-47,共4页Journal of System Simulation

基　　金：国家自然科学基金 (60004004), 广西师范学院青年科研基金.

摘　　要：连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能与引发语义证明了一类区间速率连续Petri网在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri网在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状态爆炸的问题.

关 键 词：区间速率连续PETRI网 稳态 连续加权环 标识 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]