位置:成果数据库 > 期刊 > 期刊详情页
一类区间速率连续Petri网的可达稳态分析
  • ISSN号:1004-731X
  • 期刊名称:《系统仿真学报》
  • 时间:0
  • 分类:TP31[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术]
  • 作者机构:[1]广西师范学院信息技术系,广西,南宁,530001 广西师范学院信息技术系,广西,南宁,530001 广西师范学院信息技术系,广西,南宁,530001
  • 相关基金:国家自然科学基金 (60004004), 广西师范学院青年科研基金.
中文摘要:

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

同期刊论文项目
同项目期刊论文
期刊信息
  • 《系统仿真学报》
  • 北大核心期刊(2011版)
  • 主管单位:中国航天科工集团公司
  • 主办单位:北京仿真中心 中国仿真学会
  • 主编:李伯虎
  • 地址:北京市海淀区永定路50号院
  • 邮编:100039
  • 邮箱:simu-xb@vip.sina.com
  • 电话:010-88527147
  • 国际标准刊号:ISSN:1004-731X
  • 国内统一刊号:ISSN:11-3092/V
  • 邮发代号:82-9
  • 获奖情况:
  • 国内外数据库收录:
  • 美国化学文摘(网络版),荷兰文摘与引文数据库,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版)
  • 被引量:51729