基于Petri网的智能制造系统建模

阐述了 Petri网在智能制造系统建模中的突出优点 ,对其进行了扩展 ,并与面向对象技术相结合形成了面向对象 Petri网 ( OOPN)。提出了利用OOPN建立智能制造系统结构模型、行为模型、控制决策模型和消息模型的方法。通过利用 OOPN建立智能制造中加工结点模型的实例 ,充分说明了面向对象 Petri网的有效性和强大的建模能力 ,为智能制造系统的设计、性能分析、运行状态监视提供了一条有效途径和强有力的工具 ,必将在制造领域得到广泛应用和进一步的发展。

基于广义随机Petri网的可视化建模与仿真工具

为了满足Petri网理论的应用研究的需要,首先给出了层次对象广义随机Petri网模型的定义,并运用面向对象方法设计和开发了基于层次对象广义随机Petri网的可视化建模和仿真工具软件,详细介绍了该软件工具的设计方法,包括功能结构图、网模型对象类图和符合可扩展标记语言规范的中性文件格式存储模型数据结构。最后通过实例说明了该工具应用的有效性。

基于规则对象Petri网的柔性制造系统建模

针对FMS建模中存在的问题，通过分析FMS的组成和活动特点，提出了规则对象Petri网的建模方法。该方法集中了Petri网和面向对象技术的优点，并融系统决策规则子模型中。利用规则对象Petri网，建立了FMS的资源对象模型、动态行为模型和调度决策模型，为设计、分析和调度控制提供了有效的工具。

基于着色Petri网分布式系统的行为建模方法

面向对象着色Petri网具有强大的建模能力和成熟的理论,广泛应用于各种系统的模型建立.介绍如何把CORBAIDL和UML与着色Petri网相结合,以便获得CORBA标准表示的分布式系统行为模型,这对于复杂系统分析设计、模拟和性能评价有很高的理论和实用价值.

PETRI网描述的VPML语义

企事业过程建模系统EPMS（Enterprise Process Modeling System）以可视化过程建模语言VPML（Visual Process Modeling Language）为基础，用于过程模型建造和过程模型模拟。VPML语义的正确性与完备性是得到可靠的过程模型的基本保证。文章以枚举法为基础，利用PETRI网描述VPML的所有语义，证明其语义的正确性与完备性。利用二者之间建立的映射关系，将VPML建立的模型转换为PETRI网描述，借助于PETRI网工具可进行系统性能分析，提高产品开发的可靠性。

可视化过程建模语言VPML与PETRI网的等价性证明

ＶＰＭＬ（Ｖｉｓｕａｌ Ｐｒｏｃｅｓｓ Ｍｏｄｅｌｉｎｇ Ｌａｎｇｕａｇｅ）是企事业过程建模系统ＥＰＭＳ（Ｅｎｔｅｒｐｒｉｓｅ Ｐｒｏｃｅｓｓ Ｍｏｄｅｌｉｎｇ Ｓｙｓｔｅｍ）所采用的可视化过程建模语言，适用于过程模型建造和过程模型模拟。ＶＰＭＬ语言功能的强弱直接影响过程建模的能力，它是过程建模、过程优化和运作的基础。因此，ＶＰＭＬ语义的正确性与完备性是得到可靠的过程模型的基本保证。以枚举法为基础，利用ＰＥＴＲＩ网描述ＶＰＭＬ的所有语义，从而证明ＶＰＭＬ语义的正确性与完备性。综合ＶＰＭＬ语言易于掌握，ＰＥＴＲＩ网描述并发执行简单易行的优点，建立了二者之间的映射关系，加快系统建模过程，提高开发产品的可靠性。

面向对象Petri网建模与仿真的可视化环境

主要介绍用面向对象方法开发的Ｐｅｔｒｉ网建模和仿真可视化环境ＰＮＳＥ（ＰｅｔｒｉＮｅｔＳｉｍｕｌａ－ｔｉｏｎＥｎｖｉｒｏｎｍｅｎｔ）。通过对一个实例的建模和仿真。

着色Petri网在UML建模中的应用

介绍了一种用着色Petri网分析和验证UML模型的方法。该方法把面向对象技术和Petri网理论相结合,构成一种面向对象的着色Petri网模型,简称OPM;并给出了它和UML模型之间相互转换的方法,使得验证分析复杂信息系统的动态行为特征成为可能,是一种具有数学和图形方式相结合的形式化描述。

基于着色Petri网测试用例的自动生成

针对基于UML的面向对象程序设计方法及着色Petri网的特点,提出了一种基于着色Petri网的测试用例生成方法,该方法将UML的时序图描述转化为着色Petri网的形式化描述,通过深度优先遍历着色Petri网找出系统的测试路径,对给出的测试数据采用爬山法进行测试用例的选择,最后,根据路径覆盖的原则产生完整的测试用例.

UML模型到面向对象Petri网模型的映射

文章通过分析UML模型和面向对象Petri网各自的特点,提出了UML模型到面向对象Petri网模型的映射规则,从而实现了利用UML模型有效描述系统,利用面向对象Petri网模型模拟仿真系统的有效结合,实现了两者的优势互补。

面向对象Petri网的输电网线路保护仿真

在单装置Petri网(PN)模型的基础上,提出了一种面向对象的输电网线路保护Petri网模型。该模型考虑了继电保护装置、断路器装置、重合闸装置间的配合关系,并利用面向对象技术降低了单个PN仿真单元的复杂性。为仿真多个保护装置间的配合关系,构建了时间决策单元和故障计算单元。时间决策单元可处理不同保护间的时间配合关系,故障计算单元通过与仿真单元的消息传递模拟保护动作过程。对某输电网线路保护进行仿真,结果验证了模型的有效性。

基于Petri网和OMT的具有计算机视觉的FMS建模

文章通过分析 Petri网和 OMT建模工具的特点 ,提出一种 Petri网与 OMT相结合的建模方法 ,并用该法对具有计算机视觉的 FMS建模 ,使模型不仅能充分体现系统的动态属性 。

面向对象Petri网在热工保护系统建模中的应用

热工保护系统作为典型离散事件系统,难以用常规的数学方法进行描述和分析.模型是对系统结构和动态特性的概括与抽象,建模是描述和分析热工保护系统的重要环节.利用面向对象Petri网建立热工保护系统模型.定义面向对象Petri网模型的运行规则,针对热工保护的开关量分类,分别设计各类子网对象模型,定义各消息传递出口和接收口之间的连接,实现系统子网对象的各种联锁关系.以火电厂热工保护系统中的送风机保护子系统为例,概述面向对象Petri网的实现过程.与传统建模、分析方法相比,本建模方法具有图像化、抽象性、继承和可封装等特点,所建模型具有可视性、可复用性和可维护性.

UML 软件开发过程和支持环境研究

从当前对软件工程过程的需求出发，结合软件工程领域的最新成果统一建模语言ＵＭＬ（ＵｎｉｆｉｅｄＭｏｄｅｌｉｎｇＬａｎｇｕａｇｅ），重点讨论了适应需求变化的迭代式软件开发过程，提出了柔性软件开发模型．在此研究的基础上，设计了集成化ＵＭＬ软件开发环境的框架，指出其组成应包括ＵＭＬ可视化建模系统、ＵＭＬ模拟系统、ＵＭＬ代码生成系统和ＵＭＬ逆向变换系统４个部分，并提出了需要解决的问题．

基于UML的集成化软件开发环境的研究与实现

统一建模语言UML(UnifiedModelingLanguage)的出现为研制和开发集成化面向对象软件开发环境奠定了基础 .针对当前软件开发方法中所表现出的新特点 ,结合用户在项目开发中的实际需求 ,讨论了基于UML的集成化软件开发环境的设计思想及应具备的主要功能 ,介绍了基于该思想开发的可视化建模工具UML

可视化技术及“模型-文档-视”结构在水稻生长模拟中的应用

该研究利用可视化技术和“模型 -文档 -视”的管理模式 ,试图改进作物模型系统的用户界面和系统组织结构。利用Hermite曲线模拟水稻叶片的形态 ,将作物模拟结果图形化、图像化 ,使水稻生长模拟的结果直观化。并在面向对象编程技术的基础上 ,将 MFC的“文档 -视”的结构扩展为“模型 -文档 -视”结构 ,使作物模拟系统中数值模拟、数据管理和用户界面的设计相互分离 ,且系统中的类与类之间能有效进行数据交换 ;整个系统可整合为几个“模型 -文档 -视”组 ,使系统结构简化 ,易于管理 ,是对面向对象编程技术的一种扩展。本研究表明 :采用“模型 -文档 -视”模式编程能使整个作物模型系统结构简明 ,提高研究人员的编程效率 ;可视化技术的使用 ,使用户能直接将模拟结果与田间生长状况进行比较 。

统一建模语言UML

1前言统一建模语言UML(Unified Model:ng Lan-guage)是由RatLonal公司的知名专家Gray BOoeh、Ivar JaCobson和J:m Rumbaugh三人联合开发的第三代面向对象的建模语言。它采纳和扩展了Booch标记法、OMT标记法和OOSE标记法,并包容了其它学者和软件厂商的建议,现己提交给OMG,将成为标准化的面向对象建模语言。UML是一种宽谱语言.适用于所有的应用领域,如:实时系统、

基于UML-OOPN的可重构制造单元建模

以可重构制造单元为研究对象 ,以实现其可重组性为研究目标 ,提出了一种集成标准建模语言 UML和面向对象 Petri网的建模方法—— UML-OOPN。该方法同时具备了标准建模语言 UML和 Petri网的优点 ,不仅能够提供支持需求分析、模型描述和设计、模型分析和仿真、直至模型实现的一体化框架 。

支持团队工作的工作流技术研究

针对工作流系统对动态团队和不确定性任务支持的要求,首先利用面向对象技术建模团队的组织结构,并采用对象约束语言规范化描述团队内部结构约束和"团队-任务"约束,然后提出了任务版本的概念,用来解决团队对应的工作流任务不确定问题,并讨论了集成实现中的若干关键问题。通过定义工作表单来描述任务数据,利用一定的规则实现多任务版本的配置,最后给出了具体的实现步骤。

基于模板的小型农业作业机产品信息模型研究

传统的产品建模技术存在信息表达不完整,以及在产品配置过程中缺乏柔性等问题。为此提出了包含功能、原理、结构及知识的模板化产品信息模型。在模型的创建过程中,从相似的功能单元中抽象出共同特征,组成参数化的产品模板;以多层次结构的形式来表达产品族各部分的功能结构信息,用面向对象技术进行模板知识的描述。将模板化产品建模方法应用于小型农业作业机数字化产品设计中,减少了产品族中部分零部件的建模数量,提高了产品设计的灵活性。