面向对象Petri网在工人加工工件系统建模中的研究

采用面向对象Petri网(OOPN),建立了一个工人加工工件系统的完整的OOPN模型。并利用了对象之间的消息传递技术实现了工人和两个机器之间的无冲突工作,为其它复杂的资源共享系统建模提供了数学和图形工具。     

面向对象Petri网建模技术综述

阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN,OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望.     

面向对象的Petri网建模技术的研究

将面向对象的概念引入到Petri网建模技术中，对网进行分类与抽象，给对象模型的消息和方法赋予新的含义，并将Petri网扩展成具有输入与输出的开放式系统，从而形成了面向对象的Petri网建模技术（简称OPNe技术）。给出的OPNet建模技术的一般方法具有较大的实际意义。     

基于Petri 网的分布式面向对象数据库系统建模

首先介绍了分布式面向对象数据库(DOODB)的基本概念,提出了以对象模型、事件模型、事务模型三个正交维来进行建模的思想,并利用面向对象(OO)技术及Petri网理论对DOODB进行了系统建模,这种建模表示方法对于开发分布式数据库及其管理系统有一定的指导意义.     

面向对象的Petri网方法及其在软件工程中的应用

本文介绍了面向对象Ｐｅｔｒｉ网方法，给出了ＯＯＰＮ的基本定义和图形表示，讨论了ＯＯＰＮ的特性和子网细化方法。     

面向对象Petri网的网络传感器管理系统建模

传感器资源管理是一个复杂的系统工程,特别是在分布式传感器网络中,传感器种类繁多,使用一般的Petri网建模方法很难对系统作一形象描述。本文提出了一种应用面向对象Petri网对该系统进行建模的方法,并针对网络传感器管理特点,构造了网络传感器管理系统模型。     

OORTPN：面向对象的实时Petri网

本文介绍了一种面向对象的实时Ｐｅｔｒｉ网ＯＯＲＴＰＮ它将Ｐｅｔｒｉ网与面向对象技术结合起来，可用来表示时态知识和实时数据，并支持实时智能系统建模，利用它可以建立大型复杂的实时专家系统。     

面向对象的Petri网在嵌入式系统开发中的应用

介绍了面向对象的Petri网,提出了一个完整的、面向对象的、基于Petri网的嵌入式系统设计的建模方法,并给出了一个用OOPN对嵌入式系统建模的示例。     

基于Petri网的分布式面向对象数据库系统建模

首先介绍了分布式面向对象数据库（DOODB）的基本概念，提出了以对象模型，事件模型，事务模型三个正交维来进行建模的思想，并利用面向对象（OO）技术及Petri网理论对DOODB进行了系统建模，这种建模表示方法对开发分布式数据库及其管理系统有一定的指导意义。     

一个面向对象的实时Petri网模型

本文提出了一个面向对象的实时Ｐｅｔｒｉ网模型ＯＯＲＴＰＮ，它可用来表示时态知识和实时数据。     

一种基于扩展面向对象Petri网的业务组件建模方法

文章在面向对象Petri网的基础上,引入元数据(metadata),构成一种扩展的面向对象Petri网(EOPN),并以企业中的材料需求计划的制定过程为实例建立了描述这一业务过程的EOPN模型。基于这个业务过程模型实例,给出了业务组件建模的步骤和规则。     

面向对象着色Petri网的板级电子产品拟实制造系统

基于面向对象着色Petri网(OCPN)模型,结合面向对象方法和Petri网,建立了板级电子产品拟实制造系统(VMS)的仿真模型,开发了VMS软件,并给出了仿真结果。     

基于面向对象着色Petri网的多Agent系统建模

提出了一种基于面向对象着色Petri网（OOCPN）的多Agent建模方法,与其它建模方法相比,OOCPN可以全面地刻画出Agent的个体行为特征和多Agent间复杂、并行的动态交互,讨论了利用OOCPN进行个体Agent和多Agent间交互协议的建模,并通过对网上智能购物系统的实例分析,展示了OOCPN对多Agent系统的建模能力。     

基于Petri Net的多Agent系统建模

多Agent系统是近年来分布式人工智能的一个研究热点。随着对其研究的深入和应用的推广,急需一种建模技术对其进行形式化描述。针对这个问题,该文提出了一种使用PetriNet形式化表示多Agent系统的方法,分别从单个Agent视图和整个Agent系统的全局视图对其加以描述,以便进一步的分析和评估。     

MP4大片轻松做

如今电脑已经是RMVB、AVI、WMV的天下但在手机和便携式媒体播放器上，MP4才是当之无愧的“老大”， 由此产生一个问题．就是我们如何才能把流行于电脑的RMVB、AVI、WMV电影以及DVD影碟方便快速的转换成MP4。     

基于CTL和Petri网的约束一致性验证方法研究

通过分支时序逻辑(CTL)公式表示系统约束,利用Petri网的可达性分析技术来验证约束一致性是一种重要的、切实可行的约束一致性验证方法。文章描述了一种由CTL公式向Petri网映射的算法,将表示系统约束和组件约束的CTL公式分别映射为Petir网,然后利用Petri网的组合、可达性分析等技术从语义上来验证系统约束与组件约束的一致性。最后,通过对算法的实现开发了一个工具包,并通过一个实例验证了算法正确性和约束一致性验证方法的可行性。     

基于Petri网的信息系统集成项目管理模型研究

针对当前项目管理规划软件存在的缺陷,介绍了一个基于Petri网的信息系统集成项目管理模型(DSPM)的设计和实现机理。该模型利用知识库和工作流技术,很好地将项目过程管理与工作流系统集成起来,并且提出了一种有效的任务依赖关系管理模式,很好地解决了项目规划、调度、变更等关键问题。