一类区间速率连续Petri网的可达稳态分析
Reachability Analysis of Steady State for A Class of Interval Speed Continuous Petri Nets作者机构：广西师范学院信息技术系广西南宁530001 广西师范学院信息技术系广西南宁530001 广西师范学院信息技术系广西南宁530001
出 版 物：《系统仿真学报》 (Journal of System Simulation)
年 卷 期：2005年第17卷第z1期
页 面：44-47页
核心收录：
学科分类：08[工学] 0802[工学-机械工程] 0835[工学-软件工程] 0825[工学-航空宇航科学与技术] 0701[理学-数学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论]
基 金：国家自然科学基金 (60004004) 广西师范学院青年科研基金
主 题：区间速率连续Petri网 稳态 连续加权环 标识
摘 要：连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能与引发语义证明了一类区间速率连续Petri网在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri网在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状态爆炸的问题.
维普期刊数据库