期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
5
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Petri网精细化操作及其在系统建模中的应用
被引量:
3
1
作者
夏传良
陆维明
《系统仿真学报》
EI
CAS
CSCD
北大核心
2006年第8期2070-2077,共8页
为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精...
为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。
展开更多
关键词
PETRI网
精细化操作
结构有界性
活性
系统建模
下载PDF
职称材料
整数环上的Farkas引理及其应用
被引量:
1
2
作者
鲁法明
吴哲辉
包云霞
《大学数学》
北大核心
2008年第3期99-103,共5页
将实数域上的Farkas引理进行推广,提出整数环上的Farkas引理.之后,利用整数环上的Farkas引理证明了一个有关Petri网结构有界性的判定定理.
关键词
FARKAS引理
PETRI网
结构有界性
下载PDF
职称材料
非对称选择网类共享子网合成及其在系统建模中的应用
被引量:
1
3
作者
夏传良
《计算机科学》
CSCD
北大核心
2007年第6期274-278,288,共6页
为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri...
为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。
展开更多
关键词
PETRI网
合成
结构
活性
结构有界性
系统建模
下载PDF
职称材料
最大速度恒定的连续Petri网(CCPN)的性质判定及分解
4
作者
王培良
赵义军
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期48-51,共4页
对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.
关键词
最大速度恒定的连续Petri网
结构有界性
守恒性
公平性
分解
下载PDF
职称材料
一类Petri网系统的活性
被引量:
6
5
作者
林贵献
陆维明
焦莉
《计算机学报》
EI
CSCD
北大核心
2002年第8期883-889,共7页
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 ...
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 .
展开更多
关键词
PETRI网
活性
扩展非自控网
弱化非自控网
结构有界性
离散事件系统
下载PDF
职称材料
题名
Petri网精细化操作及其在系统建模中的应用
被引量:
3
1
作者
夏传良
陆维明
机构
山东建筑大学计算机学院
中国科学院数学与系统科学研究院计算机科学研究室
出处
《系统仿真学报》
EI
CAS
CSCD
北大核心
2006年第8期2070-2077,共8页
基金
国家自然科学基金(60073013)
文摘
为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。
关键词
PETRI网
精细化操作
结构有界性
活性
系统建模
Keywords
Petri nets
refinement
structural boundedness
liveness
system modeling
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
整数环上的Farkas引理及其应用
被引量:
1
2
作者
鲁法明
吴哲辉
包云霞
机构
山东科技大学信息科学与工程学院
山东科技大学理学院
出处
《大学数学》
北大核心
2008年第3期99-103,共5页
基金
国家自然科学基金(60673053
60603090)
文摘
将实数域上的Farkas引理进行推广,提出整数环上的Farkas引理.之后,利用整数环上的Farkas引理证明了一个有关Petri网结构有界性的判定定理.
关键词
FARKAS引理
PETRI网
结构有界性
Keywords
Farkas Lemma
Petri nets
structural boundedness
分类号
O151.2 [理学—基础数学]
下载PDF
职称材料
题名
非对称选择网类共享子网合成及其在系统建模中的应用
被引量:
1
3
作者
夏传良
机构
山东建筑大学计算机科学与技术学院
中国科学院软件所计算机科学重点实验室北京
出处
《计算机科学》
CSCD
北大核心
2007年第6期274-278,288,共6页
文摘
为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。
关键词
PETRI网
合成
结构
活性
结构有界性
系统建模
Keywords
Petri nets,Synthesis,Structural liveness,Structural boundedness,System modeling
分类号
TP183 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
最大速度恒定的连续Petri网(CCPN)的性质判定及分解
4
作者
王培良
赵义军
机构
山东科技大学理学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期48-51,共4页
基金
山东省自然科学基金(Y2002G09)和国家自然科学基金(60173053)及煤炭科学基金(96电10509).
文摘
对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.
关键词
最大速度恒定的连续Petri网
结构有界性
守恒性
公平性
分解
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一类Petri网系统的活性
被引量:
6
5
作者
林贵献
陆维明
焦莉
机构
中国科学院数学研究所
出处
《计算机学报》
EI
CSCD
北大核心
2002年第8期883-889,共7页
基金
国家自然科学基金 ( 6 97730 16 )
国家重点基础研究专项经费( G19980 30 416 )
+1 种基金
中国科学院管理
决策与信息系统实验室 ( MADIS)资助
文摘
Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 .该文基于文献 [1]给出了 Petri网的一子类 ,即弱化非自控网 (Weak Extended Non Self-Controlling Nets,简称 WENSe C网 ) ,该类网覆盖了扩展自由选择网和扩展非自控网 .文中提出并证明了 WENSe C网系统活性的充分必要条件满足死锁 -陷阱性质 ,同时对 WENSe C网的一子类 ,通过转化方法 ,证明了该类结构有界网的结构活判定算法可借用扩展非自控网的有关结果也是多项式时间算法 .
关键词
PETRI网
活性
扩展非自控网
弱化非自控网
结构有界性
离散事件系统
Keywords
Petri nets,extended non self-controlling nets,weak extended non self-controlling nets,structural liveness,structural boundedness
分类号
TP183 [自动化与计算机技术—控制理论与控制工程]
TP271.8 [自动化与计算机技术—检测技术与自动化装置]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Petri网精细化操作及其在系统建模中的应用
夏传良
陆维明
《系统仿真学报》
EI
CAS
CSCD
北大核心
2006
3
下载PDF
职称材料
2
整数环上的Farkas引理及其应用
鲁法明
吴哲辉
包云霞
《大学数学》
北大核心
2008
1
下载PDF
职称材料
3
非对称选择网类共享子网合成及其在系统建模中的应用
夏传良
《计算机科学》
CSCD
北大核心
2007
1
下载PDF
职称材料
4
最大速度恒定的连续Petri网(CCPN)的性质判定及分解
王培良
赵义军
《系统仿真学报》
CAS
CSCD
北大核心
2005
0
下载PDF
职称材料
5
一类Petri网系统的活性
林贵献
陆维明
焦莉
《计算机学报》
EI
CSCD
北大核心
2002
6
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部