期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Petri网中亚公平关系与亚公平网
被引量:
6
1
作者
吴哲辉
郭玉彬
《山东科技大学学报(自然科学版)》
CAS
2001年第1期4-9,12,共7页
Petri网中的弱公平但不公平的关系称为亚公平公系 ,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质 :亚公平Petri网中一定存在着公平关系 ,并在此基础上讨论了亚公平网中的公平分支划分。此外 。
关键词
PETRI网
公平
性
亚
公平
关系
亚
公平网
公平
分支
可重复向量
弱
公平网
下载PDF
职称材料
公平网的一组直接判断条件
被引量:
21
2
作者
王培良
吴哲辉
《计算机学报》
EI
CSCD
北大核心
1993年第1期53-58,共6页
本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避...
本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.
展开更多
关键词
PETRI网
公平网
线性相关
下载PDF
职称材料
局部公平网的充要条件研究
被引量:
3
3
作者
李志武
王安荣
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2002年第6期776-780,共5页
Petri的局部公平性反映了网系统在局部行为的公平关系,给出了局部公平Petri网的一个充要条件,即如果Petri网具有若干个互不相交的变迁不变式的支撑,则该网是为变迁不变式覆盖的.同时提出了状态观测器的概念,根据网的库所不变式理论,通...
Petri的局部公平性反映了网系统在局部行为的公平关系,给出了局部公平Petri网的一个充要条件,即如果Petri网具有若干个互不相交的变迁不变式的支撑,则该网是为变迁不变式覆盖的.同时提出了状态观测器的概念,根据网的库所不变式理论,通过把网中所有的状态观测器设计为一个库所不变式,可把一个局部公平网设计为一个公平网.最后给出了状态观测器初始标志的确定方法,来最大限度地保证网系统的行为不受观测器的约束.
展开更多
关键词
局部
公平网
充要条件
PETRI网
不变式
下载PDF
职称材料
公平网的一个充分必要条件
被引量:
17
4
作者
吴哲辉
王培良
《科学通报》
EI
CAS
CSCD
北大核心
1990年第16期1211-1213,共3页
文献[1—5]就有界(或结构有界)情形给出了公平网的充要条件及其他结论。本文对一般网(即去掉有界性限制的网)给出判断其是否为公平网的一个充分必要条件。首先,对一个网给出单个位置的结构有界性的定义,并证明了从一个网中删去那些不是...
文献[1—5]就有界(或结构有界)情形给出了公平网的充要条件及其他结论。本文对一般网(即去掉有界性限制的网)给出判断其是否为公平网的一个充分必要条件。首先,对一个网给出单个位置的结构有界性的定义,并证明了从一个网中删去那些不是结构有界的位置(连同它们所关联的弧)后所得到的子网是结构有界网;其次,证明了这个子网同原网有相同的公平性,从而,通过对此子网的公平性检验,可以判断原网的公平性。此结论可推广到分组公平网。
展开更多
关键词
PETRI网
公平
性
分组
公平网
原文传递
Petri网的公平性及分析
被引量:
6
5
作者
韩江洪
方华
刘小平
《系统仿真学报》
CAS
CSCD
北大核心
2012年第3期521-535,共15页
公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要...
公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。
展开更多
关键词
公平
性
公平网
公平
保性
同步距离
下载PDF
职称材料
Petri网弱公平性的判断
被引量:
14
6
作者
王培良
吴哲辉
《计算机学报》
EI
CSCD
北大核心
1994年第8期608-611,共4页
本文提出了弱公平网的概念,并给出了判断一个Petri网是否是弱公平同的一组充分必要条件。
关键词
PETRI网
弱
公平网
秩
矩阵
下载PDF
职称材料
Petri网的局部公平性
被引量:
3
7
作者
李志武
《计算机学报》
EI
CSCD
北大核心
1998年第S1期41-45,共5页
本文提出了局部公平性和局部公平网的概念及其与其它公平网的关系,给出了局部公平网的判断条件.
关键词
PETRI网
局部
公平
性
公平网
下载PDF
职称材料
题名
Petri网中亚公平关系与亚公平网
被引量:
6
1
作者
吴哲辉
郭玉彬
机构
山东科技大学信息科学与工程学院
出处
《山东科技大学学报(自然科学版)》
CAS
2001年第1期4-9,12,共7页
文摘
Petri网中的弱公平但不公平的关系称为亚公平公系 ,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质 :亚公平Petri网中一定存在着公平关系 ,并在此基础上讨论了亚公平网中的公平分支划分。此外 。
关键词
PETRI网
公平
性
亚
公平
关系
亚
公平网
公平
分支
可重复向量
弱
公平网
Keywords
Petri net
fairness
meta fair relation
meta fair net
分类号
TP393.01 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
公平网的一组直接判断条件
被引量:
21
2
作者
王培良
吴哲辉
机构
山东矿业学院应用数学与软件工程系
出处
《计算机学报》
EI
CSCD
北大核心
1993年第1期53-58,共6页
基金
国家自然科学基金
文摘
本文给出直接判断一个Petri网是否是公平网的一组充分必要条件.本文给出的判断方法有以下的优点:这里提出的方法不需要先求出给定网的结构有界子网,而是直接根据原网给出判断条件,从而简化了判断一个网是否为公平网的过程.这种方法还避免了原网删去结构无界的位置后,可能使某些变迁节变为孤立节点的情况.
关键词
PETRI网
公平网
线性相关
Keywords
Petri net, fair net, linear dependence.
分类号
TN711 [电子电信—电路与系统]
下载PDF
职称材料
题名
局部公平网的充要条件研究
被引量:
3
3
作者
李志武
王安荣
机构
西安电子科技大学机电工程学院
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2002年第6期776-780,共5页
基金
国家部委预研基金资助项目(00J16 2 5 D20145)
西安电子科技大学青年科研工作站资助项目
文摘
Petri的局部公平性反映了网系统在局部行为的公平关系,给出了局部公平Petri网的一个充要条件,即如果Petri网具有若干个互不相交的变迁不变式的支撑,则该网是为变迁不变式覆盖的.同时提出了状态观测器的概念,根据网的库所不变式理论,通过把网中所有的状态观测器设计为一个库所不变式,可把一个局部公平网设计为一个公平网.最后给出了状态观测器初始标志的确定方法,来最大限度地保证网系统的行为不受观测器的约束.
关键词
局部
公平网
充要条件
PETRI网
不变式
Keywords
Petri nets
local-fair Petri net
invariant
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
公平网的一个充分必要条件
被引量:
17
4
作者
吴哲辉
王培良
机构
山东矿业学院
出处
《科学通报》
EI
CAS
CSCD
北大核心
1990年第16期1211-1213,共3页
基金
国家自然科学基金
文摘
文献[1—5]就有界(或结构有界)情形给出了公平网的充要条件及其他结论。本文对一般网(即去掉有界性限制的网)给出判断其是否为公平网的一个充分必要条件。首先,对一个网给出单个位置的结构有界性的定义,并证明了从一个网中删去那些不是结构有界的位置(连同它们所关联的弧)后所得到的子网是结构有界网;其次,证明了这个子网同原网有相同的公平性,从而,通过对此子网的公平性检验,可以判断原网的公平性。此结论可推广到分组公平网。
关键词
PETRI网
公平
性
分组
公平网
分类号
O157.5 [理学—基础数学]
原文传递
题名
Petri网的公平性及分析
被引量:
6
5
作者
韩江洪
方华
刘小平
机构
合肥工业大学计算机与信息学院
合肥工业大学电气与自动化工程学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2012年第3期521-535,共15页
基金
国家自然科学基金(60873003)
文摘
公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。
关键词
公平
性
公平网
公平
保性
同步距离
Keywords
fairness
fair net
fairness preserving
synchronic distance
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
Petri网弱公平性的判断
被引量:
14
6
作者
王培良
吴哲辉
机构
山东矿业学院应用数学与软件工程系
出处
《计算机学报》
EI
CSCD
北大核心
1994年第8期608-611,共4页
基金
国家自然科学基金
文摘
本文提出了弱公平网的概念,并给出了判断一个Petri网是否是弱公平同的一组充分必要条件。
关键词
PETRI网
弱
公平网
秩
矩阵
Keywords
Petri net,weak fair net,rank,matrix
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
Petri网的局部公平性
被引量:
3
7
作者
李志武
机构
西安电子科技大学电子机械学院
出处
《计算机学报》
EI
CSCD
北大核心
1998年第S1期41-45,共5页
基金
国家自然科学基金!59505022
文摘
本文提出了局部公平性和局部公平网的概念及其与其它公平网的关系,给出了局部公平网的判断条件.
关键词
PETRI网
局部
公平
性
公平网
Keywords
Petri net, local-fairness, fair net
分类号
TN915 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Petri网中亚公平关系与亚公平网
吴哲辉
郭玉彬
《山东科技大学学报(自然科学版)》
CAS
2001
6
下载PDF
职称材料
2
公平网的一组直接判断条件
王培良
吴哲辉
《计算机学报》
EI
CSCD
北大核心
1993
21
下载PDF
职称材料
3
局部公平网的充要条件研究
李志武
王安荣
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2002
3
下载PDF
职称材料
4
公平网的一个充分必要条件
吴哲辉
王培良
《科学通报》
EI
CAS
CSCD
北大核心
1990
17
原文传递
5
Petri网的公平性及分析
韩江洪
方华
刘小平
《系统仿真学报》
CAS
CSCD
北大核心
2012
6
下载PDF
职称材料
6
Petri网弱公平性的判断
王培良
吴哲辉
《计算机学报》
EI
CSCD
北大核心
1994
14
下载PDF
职称材料
7
Petri网的局部公平性
李志武
《计算机学报》
EI
CSCD
北大核心
1998
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部