共查询到17条相似文献,搜索用时 78 毫秒
1.
采用面向对象Petri网(OOPN),建立了一个工人加工工件系统的完整的OOPN模型。并利用了对象之间的消息传递技术实现了工人和两个机器之间的无冲突工作,为其它复杂的资源共享系统建模提供了数学和图形工具。 相似文献
2.
面向对象Petri网建模技术综述 总被引:1,自引:0,他引:1
阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN,OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望. 相似文献
3.
4.
首先介绍了分布式面向对象数据库(DOODB)的基本概念,提出了以对象模型、事件模型、事务模型三个正交维来进行建模的思想,并利用面向对象(OO)技术及Petri网理论对DOODB进行了系统建模,这种建模表示方法对于开发分布式数据库及其管理系统有一定的指导意义. 相似文献
5.
6.
面向对象的Petri网方法及其在软件工程中的应用 总被引:13,自引:0,他引:13
本文介绍了面向对象Petri网方法,给出了OOPN的基本定义和图形表示,讨论了OOPN的特性和子网细化方法。 相似文献
7.
面向对象的Petri网在嵌入式系统开发中的应用 总被引:1,自引:0,他引:1
介绍了面向对象的Petri网,提出了一个完整的、面向对象的、基于Petri网的嵌入式系统设计的建模方法,并给出了一个用OOPN对嵌入式系统建模的示例。 相似文献
8.
本文介绍了一种面向对象的实时Petri网OORTPN它将Petri网与面向对象技术结合起来,可用来表示时态知识和实时数据,并支持实时智能系统建模,利用它可以建立大型复杂的实时专家系统。 相似文献
9.
目前面向流程集成的EAI技术--BPM(商务流程管理)已经悄然兴起.采用面向对象Petri网(OOPN)技术对BPM流程进行定义,将BPM流程映射到OOPN中进行建模,这样就可以将Petri网的一些技术应用到BPM系统中,为BPM系统的研究提供了一些新的方向. 相似文献
10.
面向对象Petri网继承性的研究 总被引:1,自引:1,他引:0
面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题.针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活. 相似文献
11.
文章在面向对象Petri网的基础上,引入元数据(metadata),构成一种扩展的面向对象Petri网(EOPN),并以企业中的材料需求计划的制定过程为实例建立了描述这一业务过程的EOPN模型。基于这个业务过程模型实例,给出了业务组件建模的步骤和规则。 相似文献
12.
基于面向对象着色Petri网(OCPN)模型,结合面向对象方法和Petri网,建立了板级电子产品拟实制造系统(VMS)的仿真模型,开发了VMS软件,并给出了仿真结果。 相似文献
13.
基于面向对象着色Petri网的多Agent系统建模 总被引:1,自引:0,他引:1
提出了一种基于面向对象着色Petri网(OOCPN)的多Agent建模方法,与其它建模方法相比,OOCPN可以全面地刻画出Agent的个体行为特征和多Agent间复杂、并行的动态交互,讨论了利用OOCPN进行个体Agent和多Agent间交互协议的建模,并通过对网上智能购物系统的实例分析,展示了OOCPN对多Agent系统的建模能力。 相似文献
14.
基于Petri Net的多Agent系统建模 总被引:2,自引:0,他引:2
多Agent系统是近年来分布式人工智能的一个研究热点。随着对其研究的深入和应用的推广,急需一种建模技术对其进行形式化描述。针对这个问题,该文提出了一种使用PetriNet形式化表示多Agent系统的方法,分别从单个Agent视图和整个Agent系统的全局视图对其加以描述,以便进一步的分析和评估。 相似文献
15.
玲玲 《数字社区&智能家居》2006,(8):24-25
如今电脑已经是RMVB、AVI、WMV的天下但在手机和便携式媒体播放器上,MP4才是当之无愧的“老大”, 由此产生一个问题.就是我们如何才能把流行于电脑的RMVB、AVI、WMV电影以及DVD影碟方便快速的转换成MP4。 相似文献
16.
针对当前项目管理规划软件存在的缺陷,介绍了一个基于Petri网的信息系统集成项目管理模型(DSPM)的设计和实现机理。该模型利用知识库和工作流技术,很好地将项目过程管理与工作流系统集成起来,并且提出了一种有效的任务依赖关系管理模式,很好地解决了项目规划、调度、变更等关键问题。 相似文献
17.
通过分支时序逻辑(CTL)公式表示系统约束,利用Petri网的可达性分析技术来验证约束一致性是一种重要的、切实可行的约束一致性验证方法。文章描述了一种由CTL公式向Petri网映射的算法,将表示系统约束和组件约束的CTL公式分别映射为Petir网,然后利用Petri网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致性。最后,通过对算法的实现开发了一个工具包,并通过一个实例验证了算法正确性和约束一致性验证方法的可行性。 相似文献