区间速率连续Petri网可达稳态必要性分析
Necessity of Reachability Steady State for Interval Speed Continuous Petri Nets作者机构：广西师范学院信息技术系南宁530001
出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)
年 卷 期：2005年第41卷第25期
页 面：78-80,119页
核心收录：
学科分类：081203[工学-计算机应用技术] 08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金(编号:60004004) 广西师范学院青年科研基金
主 题：区间速率连续Petri网 稳态 标识向量
摘 要：文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法从而给出分析区间速率连续Petri网可达稳态必要性的有效方法;最后给出一个应用例子,考察区间速率连续Petri网的可达稳态问题。
维普期刊数据库
同方期刊数据库