一种基于Petri网的半形式化面向对象的开发方法

在简要地论述了半形式化面向对象的开发方法的基本思想之后，着重就这类方法中模型形式化这一关键问题进行了研究。探讨了基于着色Ｐｅｔｒｉ网的面向对象模型的形式化技术，给出了面向对象方法中一些基本概念的形式描述，旨在完整地形成一种基于Ｐｅｔｒｉ网的半形式化面向对象的开发方法．     

一种扩充的面向对象Petri网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动－－ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环。     

一种扩充的面向对象 Petri 网

在面向对象的Ｐｅｔｒｉ网基础上，引入依赖消息，提出了一种扩充的面向对象Ｐｅｔｒｉ网（ＥＯＰＮ）模型，并以企业中的一项生产活动——ＰＣＢ元件贴装为实例，建立了描述这一活动系统的完整的ＥＯＰＮ模型，据此实现了物料分配的优化调度，构成了ＣＡＤ／ＣＡＭ集成系统中重要的一环     

递阶着色Petri网在面向对象设计中的应用

基于Ｐｅｔｒｉ网的节点过多阻碍其广泛应用,在着色Ｐｅｔｒｉ网和递阶着色Ｐｅｔｒｉ网的基础上,分析了递阶着色Ｐｅｔｒｉ网在结构上与面向对象方法的共同之处及其相互联系．指出递阶着色Ｐｅｔｒｉ网可以大大简化Ｐｅｔｒｉ网建模,同时提出了一种把递阶着色Ｐｅｔｒｉ网用于离散事件动态系统的面向对象软件设计的一般方法,并通过对一个柔性制造系统实例的面向对象分析和递阶着色Ｐｅｔｒｉ网的建模,最终指导控制软件的开发．     

基于集控Petri网方法的面向对象建模和仿真工具

传统的Ｐｅｔｒｉ网方法不能解决实际系统运行中出现的不确定性,资源共享等问题。该文定义了一种扩展有色Ｐｅｔｒｉ网——集控Ｐｅｔｒｉ网方法。它通过引入过程变迁,不确定性弧,全局库所和赋予每个托肯一个数据结构增加了Ｐｅｔｒｉ网的建模能力。重点讨论了使用面向对象方法设计和开发的基于集控Ｐｅｔｒｉ网方法的建模和仿真工具。给出系统的面向对象的类层次结构、核心数据结构和用户界面为了便于和其它建模和仿真工具进行有效的集成,所设计的软件采用了中性文件的机制来保存模型结构和数据。     

面向对象的Petri网方法及其在甲骨文编码中的应用

介绍了面向对象的Ｐｅｔｒｉ网方法,给出了ＯＯＰＮ的基本定义,图形和语言表示;并运用面向对象Ｐｅｔｒｉ网方法研究甲骨文象形码的编码原理,将每个甲骨文字做为一个对象实例,运用面向对象Ｐｅｔｒｉ网方法,对甲文字根对象进行聚类,形成凶,从而得到每个甲骨文字的编码。     

OOCPN在OOSD中的应用

引进了面向对象着色Ｐｅｔｒｉ网的概念，提出将其应用于面向对象的软件开发方法的过程中。     

基于Petri网的知识表示

介绍一种基于Ｐｅｔｒｉ网的知识表示方法。在引入Ｐｅｔｒｉ网的基本知识后，详细讨论了Ｐｅｔｒｉ网表示产生式系统及基于Ｈｏｒｎ逻辑子句的Ｐｅｔｒｉ网表示，提出了用库所表示产生式谓词，用变迁表示规则的Ｐｅｔｒｉ模型。最后讨论了将Ｐｅｔｒｉ网应用于ＯＯＡ（面向对象分析）模型的研究，从而提出一个基于Ｐｅｔｒｉ网的ＯＯＡ模型     

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

基于遗传算法的变结构神经Petri网模型

将Ｐｅｔｒｉ网理论引入到神经网络模型的研究中，依据生物学神经系统的可塑性，通过适当扩展规范Ｐｅｔｒｉ网，建立了人工神经元状态转化的Ｐｅｔｒｉ网模型，在此基础上给出了利用遗传算法设计变结构神经Ｐｅｔｒｉ网的方法，该方法不仅可以得到满足要求的网络参数，而且能对网络的拓扑结构进行优化，仿真结果验证了该方法的可行性。