王鹏伟
- 作品数：5 被引量：7H指数：1
- 供职机构：山东科技大学信息科学与工程学院更多>>
- 发文基金：国家自然科学基金山东省优秀中青年科学家科研奖励基金更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 同步及共享合成操作对Petri网汇合性质的保持性被引量：1
- 2007年
- 若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有紧密的联系,因此对Petri网汇合性质的研究就显得更加重要了。组合化设计思想是复杂系统建模的一种有效途径,Petri网的组合化研究也甚为人们重视,其中同步与共享合成操作是结构复杂Petri网系统分析的两种有效手段。我们首先分析了Petri网的汇合性质,然后分别讨论了同步合成与共享合成操作对汇合性质的保持问题,并得出了若干结论。
- 王鹏伟吴哲辉
- 关键词：PETRI网共享合成
- 关于Petri网汇合性质和家态的一些探讨
- 汇合性质和家态是Petri网的两种重要的性质，它们在应用领域有着重要的作用和价值。然而在纯Petri网理论里，关于汇合性质和家态的系统的研究工作却很少。本文即针对Petri网的汇合性质和家态性质做了一些探讨。 本文研究...
- 王鹏伟
- 关键词：PETRI网保持性共享合成
- 同步及共享合成操作对Petri网汇合性质的保持性
- 若对于一个Petri网的任意两个可达标识,都存在一个标识是从这两个标识可达的,则称该Petri网具有汇合性质。汇合性质在研究Petri网的可达标识集及家态时具有重要的意义,并且重写系统的汇合性与Petri网的汇合性质具有...
- 王鹏伟吴哲辉
- 关键词：PETRI网共享合成
- 文献传递
- Petri网关联矩阵与PNML描述之间的转换被引量：5
- 2006年
- PNML是一种基于XML的Petri网文件交换格式,支持多种Petri网类型,并提供了一种在不同Petri网工具间交换Petri网模型的途径。文中讨论了Petri网的关联矩阵和PNML描述之间的转换,给出了如何使用DOMAPI解析PNML文件及实现转换过程的技术细节。
- 吴振寰王鹏伟
- 关键词：PNMLPETRI网关联矩阵XMLDOM
- 几种满足汇合性质的Petri网子类被引量：1
- 2009年
- 证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T-图具有汇合性质,讨论共享合成与同步合成操作对Petri网汇合性质的保持性,得出由上述简单的Petri网子类通过共享合成及同步合成得到的复杂的网系统也具有汇合性质。通过一个具有汇合性质的复杂网系统实例验证该结论。
- 王鹏伟吴哲辉
- 关键词：PETRI网共享合成
