军用装备维修保障系统面向对象Petri网建模

Petri网模型是离散事件动态系统(DEDS)建模的有利工具,但传统的Petri网模型存在模型结构复杂、缺少时间描述等不足。该文在装备维修保障系统建模中,结合应用面向对象技术和有色Petri网、赋时Petri网理论,提出了将面向对象思想与赋时Petri网相结合进行装备维修保障系统建模的方法,并应用该方法对已有的空军通信导航装备维修保障系统Petri网模型进行了对象化和赋时改造,使得新建模型结构更加简约、直观,有利于扩展和仿真实现,并且具备时间描述功能。     

基于Matlab环境的Petri网的仿真方法

该文介绍了佩特利网(Petri网)和Statefow的基本概念，给出Petri网在Matlab环境下的仿真方法．并以单水箱系统的混合Petri网模型为例进行说明，结合仿真结果对Peri网的性能进行了初步分析。     

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

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

基于UML的AGVS仿真软件设计

基于AGVS的有色时延Petri网和有向图模型，使用面向对象的方法，以可视化建模和计算机动画仿真功能为目标；以统一建模语言(UML)为工具，Use Case View和Design View为重点进行了AGVS仿真软件的设计。按照该设计实现的软件已经成功地应用于AGVS的仿真研究当中。     

UML-OOPN集成建模方法及其在柔性制造系统的应用

针对柔性制造系统FMS(Flexible manufacturing system)建模特点,提出了UML-OOPN集成建模方法。该方法是用UML(the Unified Modeling Language)建立柔性制造系统FMS(Flexible manufacturing system)模型,然后将该模型映射为面向对象Petri网OOPN(Object-Oriented Petri Nets)网模型,通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计。     

基于面向对象Petri网的模型驱动开发方法的研究

模型驱动开发是对象管理组织OMG(Object Management Group)所驱动的模型驱动体系架构(Model-Driven Architecture)的一部分。面向对象Petri网(OOPN)则是一种具有面向对象特征的、可形式化描述的可视化建模语言。本文提出了一种面向对象Petri网的基本定义,详细阐述了其面向对象特征以及如何将面向对象Petri网与面向对象程序设计语言Java的基本元素及元素间的关系相对应,基于这些对应关系提出一种基于面向对象Petri网的模型驱动开发方法。并简要介绍了使用该方法进行软件开发的基本步骤。     

对象Petri网及其在C4ISR系统仿真中的应用

首先给出对象Petri网（Object based Petri Net,OPN)的定义，介绍了OPN对基本Petri网的扩展，然后总结OPN的特点和C4ISR系统仿真模型的建模原则，讨论了OPN在C4ISR系统仿真建模中的适用性，最后对一个防空战术C4ISR系统建立OPN模型，验证了OPN的可用性。     

PN-OO建模

面向对象技术和Petri网理论已日益成为复杂系统设计和分析中的两种必不可缺的工具。本文介绍了一种用Petri网改进后的面向对象的（PN－OO）模型，面向对象的模型方法PN－OO（PetriNet-Object Oriented)不仅具备传统面向对象方法系统具有的风格，而且Petri网能直观地模拟系统动态行为的优点。     

基于MAS的编队对海打击仿真系统设计与实现

针对编队对海打击仿真问题,设计了一种基于MAS(multi-agent system)的编队对海打击仿真系统;提出结合MAS和OPN(object-oriented Petri net)的思想,利用OPN设计系统的Petri网基网模型;在基网模型基础上,加入状态标示,建立系统Petri标示网的形式化模型;进而采用Petri网的关联矩阵对系统形式化模型的状态进行分析,从形式上确定系统的结构与状态,有效降低了系统初期开发的难度;利用JADE平台实现了编队对海打击仿真系统.仿真实例表明,仿真系统具有良好的人机交互功能,与实际符合较好,能够为对海打击提供决策参考.     

基于Poses++环境的Petri网仿真方法研究

由于Petri网存在“指数爆炸”和对外没有明确的输入输出接口的问题,限制了其在大型系统中的应用。Poses＋＋作为动态系统的仿真软件,充分体现了面向对象的编程思想。该文探讨了Petri网在Poses＋＋环境下的仿真方法,通过模块化处理和接口设计,解决了Petri网固有的对外没有输入输出接口的问题,并在一定程度上缓解了“指数爆炸”的难题,最后以机场系统为例,进行了建模、分析和仿真,仿真结果表明,模型正确,方法可行。     

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

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

基于扩展混合Petri网的晶圆制造系统建模

提出了一种扩展的面向对象混合Petri网（EOHPN）的建模方法：针对晶圆制造系统的复杂性，在EOHPN模型中融入了面向对象的抽象机制；为了减少系统建模的复杂性，引入混合Petri网并用面向对象建模技术作了扩展。在定义EOHPN模型的基础上，作了对象模型的拓展。用实例描述了基于EOHPN的晶圆制造系统的建模过程，验证了模型在处理系统建模时的有效性。     

Modeling production configuration using nested colored object-oriented Petri-nets with changeable structures

Configuring production processes based on process platforms has been well recognized as an effective means for companies to provide product variety while maintaining mass production efficiency. The production processes of product families involve diverse variations in manufacturing and assembly processes resulted from a large variety of component parts and assemblies. This paper develops a multilevel system of nested colored object-oriented Petri nets with changeable structures to model the configuration of production processes. To capture the semantics associated with production configuration decisions, some unique modeling mechanisms are employed, including colored Petri nets, object-oriented Petri nets, changeable Petri net structures, and net nesting. The modeling formalism comprises resource nets, manufacturing nets, assembly nets and process nets. The paper demonstrates how these net definitions are applied to the specification of production process variants at different levels of abstraction. Also reported is a case study in an electronics company. The system model is further analyzed with focus on conflict prevention and deadlock detection.     

PROTOB: An object-oriented case tool for modelling and prototyping distributed systems

The PROTOB object-oriented methodology for the executable specification of large-scale event-driven systems is introduced and described. Two supporting features of PROTOB are also presented: the graphic and textual language that formally describes the behaviour of objects, which is based on high-level Petri nets called “PROT nets” and which is demonstrated to be more powerful than SA/RT dataflows; and a CASE environment with tools for specification, modelling, simulation and prototyping. Use of PROTOB is illustrated by discussion of the automated generation of distributed systems running on a network of VMS and UNIX computers.     

面向对象Petri网合同网协议模型的一种改进方案

传统合同网协议模型中,Agent之间通信量大,且角色固定,不能满足多Agem系统环境和任务的复杂性和动态性以及交互的灵活性和高效性.通过引入信任度和阈值,采用面向对象Petri网对合同网协议模型进行了改进,提出了一种新的适应系统环境及Agent能力变化的模型,并对改进模型进行了分析,表明模型具有角色可变性、并发性和通信量少的特点.     

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

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

基于数据集约束的并行数据流建模与描述研究

为了简化带有数据集约束的抽象网格工作流语言(AGWL)的工作流建立过程,提出了一种基于扩展面向对象Petri网(DOPN)建模并行数据流的方法.研究了AGWL并行数据流的特点,在此基础上对面向对象Petri网进行扩展,设计了基于扩展面向对象Petri网描述的并行数据流模型,之后定义一套从DOPN到AGWL的映射规则.最后通过一个应用实例对一个带有数据集约束的数据流建立DOPN描述,并生成AGWL数据流代码.该方法简化了AGWL工作流建立过程,并保留了流程验证和仿真的扩展性.     

Software modeling and analysis using a hierarchical object-oriented Petri net

Petri net is used widely to analyze and model various systems formally. Recently, many Petri nets mania devote their efforts to enhancing and extending the expressive power of Petri nets. One such effort is to extend Petri nets with object-oriented concepts. An object-oriented paradigm provides excellent concepts to model real-world problems. Object-oriented concepts allow us to build software systems easily, intuitively, and naturally. Although several high-level Petri nets with the concept of objects are suggested, these nets do not fully support the object-oriented concepts. In this paper, we propose a hierarchical object-oriented Petri net (HOONet). The formal syntax and semantics of HOONet are explained in detail. HOONet supports a wide range of object-oriented features including abstract, encapsulated and modularized objects, object interaction by message passing, inheritance, and ploymorphism. HOONet also supports a variety of modeling and analysis mechanisms such as incremental modeling of evolving systems, unfolding the HOONet to lower level Petri net, and incremental reachability analysis for HOONet models. We demonstrate the usefulness of HOONet by applying it to modeling and analysis with an example.