检索结果-维普期刊中文期刊服务平台

Petri网精细化操作及其在系统建模中的应用被引量：3: 1; 作者夏传良陆维明《系统仿真学报》 EI CAS CSCD 北大核心 2006年第8期2070-2077,共8页; 为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精... 展开更多; 关键词 petri网精细化操作结构有界性活性系统建模; 在线阅读下载PDF 职称材料

M-Petri网及其性能分析被引量：3: 2; 作者左凤朝王文德《计算机科学》 CSCD 北大核心 2001年第5期120-121,115,共3页; Petri网的应用越来越广泛,对其理论的研究也进一步深入,文[1]～[3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到一些重要性质.对Petri网的活性研究,具有非常重要的理论和应用价值,也是Petri网理论工作者花费很大精力... 展开更多; 关键词 M-petri网性能分析活性关联矩阵; 在线阅读下载PDF 职称材料

一种Petri网合成方法及其在系统建模中的应用被引量：7: 3; 作者夏传良《系统仿真学报》 CAS CSCD 北大核心 2006年第2期271-277,共7页; 针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整... 展开更多; 关键词 petri网合成结构活性系统建模; 在线阅读下载PDF 职称材料

Petri网共享T型子网合成结构性质分析及其应用被引量：4: 4; 作者夏传良《计算机科学》 CSCD 北大核心 2007年第3期240-245,共6页; 为了解决系统设计中的子系统共享问题,提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案;研究了共享T-型子网合成网的结构性质,提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量... 展开更多; 关键词 petri网合成结构活性公平性系统设计; 在线阅读下载PDF 职称材料

Petri网共享单链子网合成及其应用研究: 5; 作者夏传良《计算机科学》 CSCD 北大核心 2005年第9期21-25,65,共6页; 本文针对多个企业共用一个加工厂加工某种产品这一类业务处理问题,提出了经由 Petri网共享单链子网构成单链子网合成网的解决方案;给出了自由选择网(FC),非对称选择网(AC)的共享单链子网合成网为各自相应网的充分条件;提出了共享单链子... 展开更多; 关键词 petri网结构活性自由选择网单链子网非对称选择网; 在线阅读下载PDF 职称材料

一类Petri网系统的活性被引量：6: 6; 作者林贵献陆维明焦莉《计算机学报》 EI CSCD 北大核心 2002年第8期883-889,共7页; Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具 .当用 Petri网来模拟一个实际系统时 ,关心的问题之一就是要确定这个 Petri网模型是否具有一些所期望的特性 ,如活性、有界性等 .这些特性均是系统的重要动态行为 ... 展开更多; 关键词 petri网活性扩展非自控网弱化非自控网结构有界性离散事件系统; 在线阅读下载PDF 职称材料

非对称选择网类共享子网合成及其在系统建模中的应用被引量：1: 7; 作者夏传良《计算机科学》 CSCD 北大核心 2007年第6期274-278,288,共6页; 为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri... 展开更多; 关键词 petri网合成结构活性结构有界性系统建模; 在线阅读下载PDF 职称材料

面向对象的PRES网共享子网组合及应用: 8; 作者夏传良郭脉波 +1 位作者王壮壮孙琰《系统仿真学报》 CAS CSCD 北大核心 2023年第4期833-842,共10页; 针对嵌入式系统建模问题,提出了一种经由扩展Petri网共享子网得到组合网的解决方案。将面向对象技术与嵌入式系统的Petri网表示模型(PRES网)融合,得到一种面向对象的PRES网—OOPRES(object-oriented petri net based representation for... 展开更多; 关键词 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 职称材料

题名M-Petri网及其性能分析被引量：3: 2; 作者左凤朝王文德; 机构聊城师范学院计算机科学系; 出处《计算机科学》 CSCD 北大核心 2001年第5期120-121,115,共3页; 基金山东省自然科学基金; 文摘 Petri网的应用越来越广泛,对其理论的研究也进一步深入,文[1]～[3]对Petri网的加法、笛积、广义笛积和并运算进行了一系列讨论,得到一些重要性质.对Petri网的活性研究,具有非常重要的理论和应用价值,也是Petri网理论工作者花费很大精力研究的问题[4,5].但对一般Petri网的活性研究至今没有较为理想的解决方法.本文在Petri网的并运算的基础上提出了多重Petri网-M-Petri网的概念,并讨论了M-Petri网的相容、守恒、有界性质以及活性,给出若干结构有界的判定条件.; 关键词 M-petri网性能分析活性关联矩阵; Keywords petri net, M-petri net ,liveness, structural boundedness; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名一种Petri网合成方法及其在系统建模中的应用被引量：7: 3; 作者夏传良; 机构中国科学院数学与系统科学研究院计算机科学研究室; 出处《系统仿真学报》 CAS CSCD 北大核心 2006年第2期271-277,共7页; 基金国家自然科学基金(60073013); 文摘针对多个企业共用一个加工厂生产某种产品等这一类系统问题,提出了经由Petri网共享一种子网构成合成网的解决方案;用Petri网为系统建模,先为各企业租用加工厂生产某种产品的系统建立各自的Petri网模型,然后进行共享子网合成得到系统的整体Petri网模型。运用这种整体Petri网模型,可达到同步操作和节省资源的目的。给出了自由选择网(FC){非对称选择网(AC)}的共享子网合成网仍为自由选择网(FC){非对称选择网(AC)}的条件和共享子网合成Petri网保持结构活性的条件;结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统建模提供有利手段,具有宽广的应用前景。; 关键词 petri网合成结构活性系统建模; Keywords petri nets synthesis structural liveness system modeling; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名Petri网共享T型子网合成结构性质分析及其应用被引量：4: 4; 作者夏传良; 机构山东建筑大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2007年第3期240-245,共6页; 基金国家自然科学基金(60073013) 国家重点基础研究发展规划(1998030416) +1 种基金中国科学院管理决策与信息系统开放实验室(MADIS)资助; 文摘为了解决系统设计中的子系统共享问题,提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案;研究了共享T-型子网合成网的结构性质,提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件;特别在证明结构活性保持性的过程中,体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的设计和分析,具有一定的实用价值。; 关键词 petri网合成结构活性公平性系统设计; Keywords petri nets, synthesis, structural liveness, Fairness, system design; 分类号 TP393.0 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Petri网共享单链子网合成及其应用研究: 5; 作者夏传良; 机构中国科学院数学与系统科学研究院计算机科学研究室; 出处《计算机科学》 CSCD 北大核心 2005年第9期21-25,65,共6页; 基金国家自然科学基金(60073013) 国家重点基础研究发展规划(1998030416) +1 种基金中国科学院管理决策与信息系统开放实验室(MADIS)资助; 文摘本文针对多个企业共用一个加工厂加工某种产品这一类业务处理问题,提出了经由 Petri网共享单链子网构成单链子网合成网的解决方案;给出了自由选择网(FC),非对称选择网(AC)的共享单链子网合成网为各自相应网的充分条件;提出了共享单链子网合成 Petri网保持结构活性的条件;本文的结果可为 Petri网系统合成的静态和动态性质的考察提供有效途径,具有宽广的应用前景。; 关键词 petri网结构活性自由选择网单链子网非对称选择网; Keywords petri nets, synthesis, structural liveness, Free choice net; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一类Petri网系统的活性被引量：6: 6; 作者林贵献陆维明焦莉; 机构中国科学院数学研究所; 出处《计算机学报》 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: 7; 作者夏传良; 机构山东建筑大学计算机科学与技术学院中国科学院软件所计算机科学重点实验室北京; 出处《计算机科学》 CSCD 北大核心 2007年第6期274-278,288,共6页; 文摘为了解决系统建模中的子系统共享问题,提出了经由非对称选择网类共享一种子网构成共享子网合成网的解决方案;研究了共享子网合成网的结构性质,提出了共享子网合成网保持结构有界性和结构活性的充分条件或充要条件。本文的结果可为Petri网系统合成性质的考察提供有效途径,为复杂大系统的分析提供重要手段,并特别适合于一类系统的建模和分析,具有一定的实用价值。; 关键词 petri网合成结构活性结构有界性系统建模; Keywords petri nets,synthesis,structural liveness,structural boundedness,system modeling; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名面向对象的PRES网共享子网组合及应用: 8; 作者夏传良郭脉波王壮壮孙琰; 机构山东建筑大学计算机科学与技术学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2023年第4期833-842,共10页; 基金山东省自然科学基金(ZR2016FM19)。; 文摘针对嵌入式系统建模问题,提出了一种经由扩展Petri网共享子网得到组合网的解决方案。将面向对象技术与嵌入式系统的Petri网表示模型(PRES网)融合,得到一种面向对象的PRES网—OOPRES(object-oriented petri net based representation for embedded system)网。提出了一种OOPRES网共享子网组合操作方法,并对其组合网系统的活性和有界性的保持问题进行了研究。以智能交通系统的建模分析为例验证了该组合方法的有效性。结果可为Petri网系统组合性质的考察提供有效途径,为大规模复杂嵌入式系统建模提供有利手段,具有宽广的应用前景。; 关键词 petri网嵌入式系统建模组合活性有界性; Keywords petri net embedded system modeling synthesis liveness boundedness; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Petri网精细化操作及其在系统建模中的应用	夏传良陆维明	《系统仿真学报》 EI CAS CSCD 北大核心	2006	3	在线阅读下载PDF 职称材料
2	M-Petri网及其性能分析	左凤朝王文德	《计算机科学》 CSCD 北大核心	2001	3	在线阅读下载PDF 职称材料
3	一种Petri网合成方法及其在系统建模中的应用	夏传良	《系统仿真学报》 CAS CSCD 北大核心	2006	7	在线阅读下载PDF 职称材料
4	Petri网共享T型子网合成结构性质分析及其应用	夏传良	《计算机科学》 CSCD 北大核心	2007	4	在线阅读下载PDF 职称材料
5	Petri网共享单链子网合成及其应用研究	夏传良	《计算机科学》 CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
6	一类Petri网系统的活性	林贵献陆维明焦莉	《计算机学报》 EI CSCD 北大核心	2002	6	在线阅读下载PDF 职称材料
7	非对称选择网类共享子网合成及其在系统建模中的应用	夏传良	《计算机科学》 CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
8	面向对象的PRES网共享子网组合及应用	夏传良郭脉波王壮壮孙琰	《系统仿真学报》 CAS CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料