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

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

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

最大速度恒定的连续Petri网(CCPN)的性质判定及分解: 3; 作者王培良赵义军《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期48-51,共4页; 对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.; 关键词最大速度恒定的连续Petri网结构有界性守恒性公平性分解; 在线阅读下载PDF 职称材料

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

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

题名最大速度恒定的连续Petri网(CCPN)的性质判定及分解: 3; 作者王培良赵义军; 机构山东科技大学理学院; 出处《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期48-51,共4页; 基金山东省自然科学基金(Y2002G09)和国家自然科学基金(60173053)及煤炭科学基金(96电10509).; 文摘对最大速度恒定的连续Petri网(CCPN)的结构有界性、守恒性、公平性进行了定义,并给出了判定定理.进而定义了最大速度恒定的连续Petri网(CCPN)的两种分解,并证明了这两种分解保持网的一些结构性质.; 关键词最大速度恒定的连续Petri网结构有界性守恒性公平性分解; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一类Petri网系统的活性被引量：6: 4; 作者林贵献陆维明焦莉; 机构中国科学院数学研究所; 出处《计算机学报》 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	非对称选择网类共享子网合成及其在系统建模中的应用	夏传良	《计算机科学》 CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料
3	最大速度恒定的连续Petri网(CCPN)的性质判定及分解	王培良赵义军	《系统仿真学报》 CAS CSCD 北大核心	2005	0	在线阅读下载PDF 职称材料
4	一类Petri网系统的活性	林贵献陆维明焦莉	《计算机学报》 EI CSCD 北大核心	2002	6	在线阅读下载PDF 职称材料