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

Petri网的进程网系统被引量：31: 1; 作者曾庆田吴哲辉《计算机学报》 EI CSCD 北大核心 2002年第12期1308-1315,共8页; 提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网... 展开更多; 关键词 PETRI网进程网系统基本进程段可重复向量受迭可重复向量特征可达树; 在线阅读下载PDF 职称材料

基于进程网系统的Petri网性质分析: 2; 作者曾庆田吴哲辉马炳先《山东科技大学学报（自然科学版）》 CAS 2003年第2期11-15,共5页; Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始... 展开更多; 关键词 PETRI网进程网系统性质分析进程行为进程段初始标识网结构; 在线阅读下载PDF 职称材料

Petri网的进程表达式与语言表达式被引量：7: 3; 作者曾庆田吴哲辉马炳先《小型微型计算机系统》 CSCD 北大核心 2004年第4期654-658,共5页; Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达... 展开更多; 关键词 PETRI网语言进程表达式进程网系统属型算法; 在线阅读下载PDF 职称材料

Petri网进程的描述方法研究综述: 4; 作者曾庆田范昊吴哲辉《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期7-11,共5页; 综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证... 展开更多; 关键词 PETRI网进程满进程基本进程段进程表达式进程网系统; 在线阅读下载PDF 职称材料

题名Petri网的进程网系统被引量：31: 1; 作者曾庆田吴哲辉; 机构中国科学院计算技术研究所智能开放实验室山东科技大学计算机科学与技术系泰安山东科技大学计算机科学与技术系; 出处《计算机学报》 EI CSCD 北大核心 2002年第12期1308-1315,共8页; 基金国家自然科学基金 ( 6 0 1730 5 3 6 98730 2 9)资助; 文摘提出了 Petri网的进程网系统的概念 .一个 Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的网系统 ,它可以很好地描述原网系统的进程行为 .文中讨论了求取任意 Petri网的基本进程段的算法 ,该算法是通过研究网中的极小可重复向量和极小受控可重复向量在可覆盖树上的分布特征实现的 ,文中还给出了通过网结构来描述各个基本进程段之间关系的方法 ,从而求出一个 Petri网的进程网系统 .; 关键词 PETRI网进程网系统基本进程段可重复向量受迭可重复向量特征可达树; Keywords Petri net, process net system, basic process section, repetitive vector, controlled repetitive vector, characteristic reachability tree; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名基于进程网系统的Petri网性质分析: 2; 作者曾庆田吴哲辉马炳先; 机构山东科技大学信息科学与工程学院; 出处《山东科技大学学报（自然科学版）》 CAS 2003年第2期11-15,共5页; 基金国家自然科学基金资助项目 ( 6 0 1730 5 3 6 98730 2 9); 文摘 Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集 ,以各个基本进程段集的输入和输出库所集的并集为新的库所集 ,以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念 ,讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。; 关键词 PETRI网进程网系统性质分析进程行为进程段初始标识网结构; Keywords Petri net process net system property analysis; 分类号 TP183 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名Petri网的进程表达式与语言表达式被引量：7: 3; 作者曾庆田吴哲辉马炳先; 机构中国科学院计算机技术研究所智能信息处理重点实验室山东科技大学计算机科学与技术系; 出处《小型微型计算机系统》 CSCD 北大核心 2004年第4期654-658,共5页; 基金国家自然科学基金 ( 60 173 0 5 3 60 2 740 3 9)资助山东省中青年科学家科研奖励基金 ( 0 2 BS0 69)资助; 文摘 Petri网的语言和进程都是网系统行为的一种有效的描述手段 .对应的进程表达式和语言表达式给出了系统全体行为的约束描述 .本文首先对 Petri网的进程表达式进行了类型的划分并给出了相应的代数判定依据 ,随后证明了 Petri网的进程表达式与语言表达式的类型一致性 ,由此给出了由进程表达式求取语言表达式的算法 ,为基于 Petri网语言 (尤其是无界 Petri网 ); 关键词 PETRI网语言进程表达式进程网系统属型算法; Keywords Petri net language process expression process net system type algorithm; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Petri网进程的描述方法研究综述: 4; 作者曾庆田范昊吴哲辉; 机构山东科技大学; 出处《系统仿真学报》 CAS CSCD 北大核心 2005年第z1期7-11,共5页; 基金国家自然科学基金(60173053 和 60274063) 及山东省自然科学基金(Y2002G09)资助.; 文摘综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系.; 关键词 PETRI网进程满进程基本进程段进程表达式进程网系统; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料