王鹏伟

作品数：3被引量：6H指数：1
导出分析报告
供职机构：山东科技大学更多>>
发文主题：PETRI网共享合成保持性共享DOM更多>>
发文领域：自动化与计算机技术理学建筑科学更多>>
发文期刊：《计算机工程与应用》《计算机工程》《系统仿真学报》更多>>
所获基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
几种满足汇合性质的Petri网子类被引量：1
《计算机工程》2009年第4期44-47,共4页王鹏伟 吴哲辉 
国家自然科学基金资助项目(60673053;60603090);山东省优秀中青年科学家奖励基金资助项目(2006BS01019)
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T-图具有汇合性质,讨论共享合成与同步合成操作对Petri网汇合性质的保持性,得出由上述简单的Petri网子类通过共享合成及同步合成得到的复杂的网系统也具有汇合性...
关键词：PETRI网 汇合性质 T-图 S-图 同步合成 共享合成 
同步及共享合成操作对Petri网汇合性质的保持性被引量：1
《系统仿真学报》2007年第A01期21-25,共5页王鹏伟 吴哲辉 
国家自然科学基金(60673053;60603090);山东省优秀中青年科学家奖励基金(2006BS01019)。
若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Pe...
关键词：PETRI网 家态 汇合性质 同步合成 共享合成 
Petri网关联矩阵与PNML描述之间的转换被引量：4
《计算机工程与应用》2006年第21期32-34,47,共4页吴振寰 王鹏伟 
国家自然科学基金资助项目(编号:60173053)
PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径。文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOMAPI解析PNML文件及实现转换过程的技术细节。
关键词：PNML PETRI网 关联矩阵 XML DOM 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部