题名 区间速率连续Petri网的有效冲突及其消解
被引量：7
1
作者
廖伟志 古天龙
机构
西安电子科技大学电子工程学院 桂林电子工业学院计算机系
出处
《计算机科学》
CSCD
北大核心
2006年第10期221-224,F0004,共5页
基金
国家自然科学基金项目(60243002) 广西科学基金项目(桂科基0448072)。
文摘
有效冲突是Petri网及其扩展模型的重要行为。本文讨论了区间速率连续Petri网模型的有效冲突问题。通过划分区间速率连续Petri网的标识等价类,提出了区间速率连续Petri网在任意标识下的瞬时引发速率的有效求解方法,并提出了区间速率连续Petri网最大瞬时引发速率有效冲突的判定及消解方法。最后给出相应的分析例子。
关键词
区间 速率 连续 petri 网 有效冲突 瞬时引发速率 标识等价美
Keywords
Interval speed continuous petri nets, Effective conflict, Instantaneous firing speed, marking equivalence
分类号
TP271.8
[自动化与计算机技术—检测技术与自动化装置]
题名 区间速率连续Petri网模型行为分析研究
被引量：2
2
作者
廖伟志 古天龙 王汝凉
机构
广西师范学院信息技术系 西安电子科技大学电子工程系 桂林电子工业学院计算机系
出处
《小型微型计算机系统》
CSCD
北大核心
2006年第8期1490-1494,共5页
基金
国家自然科学基金项目(60243002 60004004)资助
文摘
讨论了区间速率连续Petri网模型的行为分析问题.通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法,并在此基础上给出了区间速率连续Petri网的行为演变算法.同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法.应用例子表明了所提出行为分析方法的有效性.
关键词
区间 速率 连续 petri 网 行为分析 标识等价类 混杂自动机
Keywords
interval speed continuous petri nets behavior analysis marking equivalence hybrid automata
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
题名 区间速率连续Petri网可达稳态必要性分析
被引量：2
3
作者
廖伟志 王汝凉
机构
广西师范学院信息技术系
出处
《计算机工程与应用》
CSCD
北大核心
2005年第25期78-80,119,共4页
基金
国家自然科学基金(编号:60004004) 广西师范学院青年科研基金
文摘
文章就区间速率连续Petri网可达稳态的必要性问题进行研究,在介绍区间速率连续Petri网及其使能、引发语义的基础上首先给出区间速率连续Petri网在指定标识下具有稳态的条件;其次通过提出区间速率连续Petri网一种标识向量等价类划分方法从而给出分析区间速率连续Petri网可达稳态必要性的有效方法;最后给出一个应用例子,考察区间速率连续Petri网的可达稳态问题。
关键词
区间 速率 连续 petri 网 稳态 标识向量
Keywords
interval speed continuous petri nets,steady state,mark vector
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 一类区间速率连续Petri网的可达稳态分析
被引量：2
4
作者
廖伟志 文瑛 王汝凉
机构
广西师范学院信息技术系
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期44-47,共4页
基金
国家自然科学基金 (60004004), 广西师范学院青年科研基金.
文摘
连续Petri网已被证明为诸多系统的有效描述工具,而系统性能分析与连续Petri网的稳态有密切关系.本文讨论了一类区间速率连续Petri网(Interval speed Continuous Petri Nets,简称ICPN)的可达稳态问题.通过分析区间速率连续Petri网的使能与引发语义证明了一类区间速率连续Petri网在最大引发模式下可达稳态的有关定理.研究表明这类区间速率连续Petri网在最大引发模式下其可达稳态及最终速率仅与各个迁移的区间速率有关,而与初始标识无关,从而避免了因构造演变图而产生状态爆炸的问题.
关键词
区间 速率 连续 petri 网 稳态 连续 加权环标识
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
题名 区间速率连续Petri网的模糊模型
被引量：1
5
作者
廖伟志 彭月英 古天龙
机构
广西师范学院信息技术系 桂林电子科技大学计算机系
出处
《计算机科学》
CSCD
北大核心
2009年第2期234-237,共4页
基金
国家自然科学基金项目(60563005) 广西科学基金项目(桂科基0640032)资助
文摘
为了实现区间速率连续Petri网的模糊控制,建立了区间速率连续Petri网的模糊模型,定义了区间速率连续Petri网的模糊规则。进一步地,对区间速率连续Petri网的模糊控制进行了讨论,给出了库所标识收敛的定理,为基于区间速率连续Petri网描述的模糊系统的控制提供了理论依据。实例分析表明了区间速率连续Petri网的模糊控制的可行性。
关键词
区间 速率 连续 petri 网 模糊逻辑 模糊控制
Keywords
Interval continuous petri nets, Fuzzy logic, Fuzzy control
分类号
TP37
[自动化与计算机技术—计算机系统结构]
TP273.4
[自动化与计算机技术—计算机科学与技术]
题名 区间速率连续Petri网的瞬时引发速率分析
6
作者
廖伟志 文瑛
机构
广西师范学院信息技术系
出处
《广西师范学院学报（自然科学版）》
2006年第1期42-50,共9页
基金
广西教育厅项目（200508174）
文摘
瞬时引发速率（Instant firing speed，IFS）是连续Petrl网模型演变图构造的一个关键参数，其分析正确与否决定着区间速率连续Petri网模型行为分析的正确性．文献[8]仅对无有效冲突情形下的最大引发模式下的IFS进行讨论，未给出任意模式下的IFS求解方法．本文定义了区间速率连续Petri网的标识等价类，提出了区间速率连续Petri网在任意标识下的使能及其瞬时引发速率的有效分析方法；并对基于最大引发速率的有效冲突问题进行讨论，给出了基于优先级的最大引发速率的求解方法；最后给出相应的例子．
关键词
区间 速率 连续 petri 网 使能矢量 瞬时引发速率 最大引发速率
Keywords
Interval Speed Continuous petri Nets enabling vector instantaneous firing speed maximum firing speed
分类号
TP37
[自动化与计算机技术—计算机系统结构]
题名 ICPN的时间自动机构造方法
7
作者
廖伟志 李文敬 王汝凉
机构
广西师范学院计算机与信息工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第6期15-17,共3页
基金
国家自然科学基金资助项目(60864001) 广西自然科学基金资助项目(0991105) 广西师范学院前期基础研究基金资助项目
文摘
为克服Petri网行为演变分析技术的局限性,利用时间自动机技术分析区间速率连续Petri网(ICPN)特性。根据区间速率连续Petri网模型语义提出基于冲突消解的区间速率连续Petri网状态演变图构造算法,给出状态演变图的时间自动机构造方法。对某化工生产过程的分析表明了该方法的必要性和有效性。
关键词
区间 速率 连续 petri 网 时间自动机 状态演变
Keywords
Interval Continuous petri Net（ICPN） timed automata state evolution
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
