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

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

一种层次化的面向对象CPN模型及其应用

文章先分别介绍了Petri网和面向对象技术,提出将高级Petri网和面向对象技术相结合构成层次化的面向对象有色Petri网（HOCPN）模型。该模型综合了面向对象技术和Petri网的优势,实现了对较为复杂网络的建模,从而可以进一步地实现对复杂网络进行验证。最后,将该建模方法在铁路车站联锁软件系统中进行实际建模应用。     

VPML OOPN集成建模方法的设计与实现*

为了支持对企业业务流程进行建模和分析,辅助过程改进,提出了VPML-OOPN集成建模方法.该建模方法是利用可视化过程建模语言VPML建立企业过程模型,然后将该过程模型映射为面向对象Petri网模型.通过Petri网模型的分析和仿真,其结果可用于修正和改进模型设计.     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术,在计算机应用领域获得了迅速的发展。介绍了工作流技术;提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网,并讨论了建立基于面向对象Petri网的工作流模型的步骤;运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型,并运用性能等价公式对工作流模型的性能进行了分析。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术，在计算机应用领域获得了迅速的发展。介绍了工作流技术；提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网，并讨论了建立基于面向对象Petri网的工作流模型的步骤；运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型，并运用性能等价公式对工作流模型的性能进行了分析。     

面向对象Petri网继承性的研究

面向对象Petri网(OOPN)利用面向对象的封装性解决了Petri网不能用于大型系统建模的问题.针对大型系统建模中的面向对象Petri网建模的便捷性进行研究,将面向对象的继承性以及与之紧密联系的多态性引入到OOPN中,以其在更大程度上实现模型的复用,使大型系统建模过程更加便捷、灵活.     

OOPN和PNOO建模技术研究

面向对象方法是一种非形式化的建模方法,对建模后的系统缺乏有效的分析和验证手段.Petri网是一种形式化的建模工具,存在无输入、输出和状态空间爆炸等问题.针对以上问题提出了将面向对象和Petri网结合为OOPN、PNOO的两种建模方法,具体分析了这两种方法的特点和步骤并进行了比较.结果表明面向对象和Petri网的有机结合克服了各自的缺点,方便了系统建模,由此可见多种建模技术的融合将成为未来系统建模的发展趋势.     

基于面向对象时间Petri网的密码协议分析

利用面向对象技术和时间Petri网的优点,提出一种基于面向对象时间Petri网的密码协议分析方法。该方法可以降低建模复杂性和计算复杂性,提高建模效率,实现时间Petri网的高度模块化,能更好地适应密码协议分析过程中的重组和扩充。实例分析结果证明了该方法的有效性。     

一种新型的AUV系统建模方法研究

在Petri网基础上,引入面向对象技术,提出了一种面向对象Petri网（OOPN）模型,详细论述了这种面向对象Petri网的结构,形式定义,建模步骤,并针对水下无人探测器系统操作环境的特殊性,为AUV系统建立了完整的OOPN模型,真实地反映了系统的动态特性,从而为AUV系统建模和分析提供了一个更为有效的工具。     

一种面向对象Petri网模型的语义和行为分析

面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念.本文介绍了一种面向对象Petri网模型（Object-Oriented Petri Net,OOPN）,给出了OOPN的基本定义和图形表示,并对OOPN进行了语义与行为分析.OOPN能够成为面向对象系统的一种形式化的建模工具.     

Petri网仿真模型改造为HLA邦元的理论和方法

该文从改造建立在其他平台 (如OPMSE)上的Petri网仿真模型为HLA邦元的意义入手 ,给出了改造的可行性、理论和方法。通过对Petri网仿真模型和HLA邦元运行机制的比较 ,采用模型代理的思想解决原模型与外界交互的封装 ,从而实现Petri网仿真模型和RTI运行支撑环境的无缝连接。同时在此基础上 ,探讨了开发基于RTI环境下Petri网仿真模型的集成环境的理论和方法     

Compositional specification of real time embedded systems by priority time Petri Nets

An important key challenge in Embedded Real Time Systems (ERTS) analysis is to provide a seamless scheduling strategy. Formal methods for checking the temporal characteristics and timing constraints at a high abstraction level have proven to be useful for making the development process reliable. In this paper, we present a Petri Net modeling formalism and an analysis technique which supports not only systems scheduling analysis but also the compositional specification of real time systems. The proposed Priority Time Petri Net gives determinism aspect to the model and accelerates its execution. Indeed, a compositional specification of a PTPN for complex application and multiprocessor architecture that solves the problem of hierarchy is presented.     

基于分层时延CPN的轧钢物流系统建模

用户需求的多样性和随机性会导致生产过程物流异常复杂.针对该问题,提出一种基于分层时延着色Petri网(CPN)的轧钢物流系统模型,采用自顶向下的建模方法,利用CPN对轧钢系统中功能相同的设备进行不同着色,从而降低Petri网的规模以及防止系统模型的空间爆炸问题.实验结果表明,该建模方法能真实反映复杂系统的特点,并为其优...     

Building insightful simulation models using Petri Nets — A structured approach

Petri Nets have essential strengths in capturing a system's static structure and dynamics, its mathematical underpinning, and providing a graphical representation. However, visual simulation models of realistic systems based on Petri Nets are often perceived as too large and too complex to be easily understood. This constrains stakeholders in participating in such modeling and solution finding, and limits acceptance. We address this issue by considering a structured approach for guiding the analyst in creating more insightful models. Key elements are a domain-related reference architecture that supports conceptual modeling coupled with uniform rules for mapping high-level concepts onto low-level Petri Net components. The proposed approach is implemented and illustrated in the manufacturing domain.     

基于Petri网的单向PWM整流电路建模

PWM整流电路是交-直-交变流器的重要电路,是包括连续和离散事件的混杂系统,具有并发、异步等特点。Petri网是描述和分析异步并发现象的一种有效的混杂系统建模工具。本文以Petri网为工具,从一个全新角度,建立单相PWM整流电路的模型,对其电路特性进行了分析。     

Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets

In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior imposed by these channels. We use Petri Nets as our modeling language, for they provide a graphically and mathematically founded modeling formalism. We give Petri Nets for a set of mobile channel types. This allows us to construct models of applications, by taking the Petri Net of each component and each mobile channel, and composing them together. For this purpose, we define a special Petri Net composition function. We also discuss analysis and simulation of these models and their exogenous coordination behavior.     

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

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

模糊时间Petri网及扩展的模糊时间Petri网

网络实时系统对时间和QoS有严格要求,因此对设计、实现和测试的技术和工具都有很高的要求。模糊时间Petri网是将模糊集合理论用于不确定的或主观的时间信息的表示,在每个变迁上添加时间间隔约束对模糊时间Petri网进行扩展得到扩展的模糊时间Petri网,它是一种对网络实时系统进行建模和分析的形式化模型,Petri网数学理论基础能保证并发系统的可靠性和正确性。本文详细地介绍了模糊时间Petri网及可扩展的时间Petri网,可扩展的时间Petri网的网精简方法,使用design／CPN仿真,及使用EFTN对多媒体同步建模,并探讨了进一步研究的方向。     

价格着色Petri网的最小成本可达问题

针对实际业务流程建模中成本预算分析的需要,在着色网的基础上扩展价格信息,提出价格着色网。讨论价格着色网的变迁步规则,根据提出的经济标识,给出最小成本构造算法,以一个业务流程实例演示该模型的应用,证明其能够较好地解决业务流程建模中的成本预算分析问题。