一种利用UML的Petri网软件实现方法

Petri网既是一种图形化建模工具，又是一种形式化数学工具。Petri网具有对并发、并行、分布、异步系统进行验证仿真的能力。但是，Petri网是用来描述和分析要开发的系统模型的工具。不是计算机的实现工具，必须要通过一定的方法才能将Petri网用软件来实现。由于UML(统一建模语言)具有友善的用户界面，易于编程实现，故提出一种利用UML作为过渡的Petri网软件实现方法。     

Graphical simulation of Petri Nets

An interactive graphics package for modeling with Petri Nets has been implemented. It uses the VT-11 graphics terminal supported on the PDP-11/35 computer to draw, execute, analyze, edit and redraw a Petri Net. Each of the above mentioned tasks can be performed by selecting appropriate items from a menu displayed on the screen. Petri Nets with a reasonably large number of nodes can be created and analyzed using this package. The number of nodes supported may be increased by making simple changes in the program. Being interactive, the program seeks information from the user after displaying appropriate messages on the terminal. After completing the Petri Net, it may be executed step by step and the changes in the number of tokens may be observed on the screen, at each place. Some properties of Petri Nets like safety, boundedness, conservation and redundancy can be checked using this package. This package can be used very effectively for modeling asynchronous (concurrent) systems with Petri Nets and simulating the model by “graphical execution.”     

一类Petri网系统的活性

Petri网是一种用来研究具有异步、并发特征的离散事件系统的合适的工具，当用Petri网来模拟一个实际系统时，关心的问题之一就是要确定这个Petri网模型是否具有一些所期望的特生，如活性、有界性等，这些特性均是系统的重要动态行为，该文基于文献[1]给出了Petri网的一子类，即弱化非自控网（Weak Extended Non SelfControlling Nets,简称WENSeC网），该类网覆盖了扩展自由选择网和扩展非自控网，文中提出了并证明了WENSeC网系统活性的的充分必要条件满足死锁－陷阱性质，同时对WENSeC网的一子类，通过转化方法，证明了该类结构有界网的结构活判定算法可借用扩非自控网的有关结果也是多项式时间算法。     

基于时延Petri网数据并行问题的分析

Petri网作为一种直观的图形建模工具和一种具有丰富数学基础的形式模型,非常适合描述具有并发、异步和分布特征的系统。数据并行即将相同的操作同时作用于不同的数据,利用时延变迁Petri网来分析数据并行问题,可以找出具有相同操作的结构,这对于数据并行问题在并行机上进行模拟有很大好处。     

立体分层Petri网的对象化专家系统实现

Ｐｅｔｒｉ网是描述分布式系统的强有力工具,立体分层Ｐｅｔｒｉ网是从系统的监控、行为和运行三个侧面分析实时分布式多智能体系的建模和分析工具。将立分层Ｐｅｔｒ８网转化为对象化的高级Ｐｅｔｒｉ网,利用和ＲＥＴＥ算泊结构相似性改善其软件实现方法,提高系统运行效率。     

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网模型的语义和行为分析

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

一种随机着色Petri网及模型的性能分析

针对随机Petri网（SPN）在系统性能分析时,其状态空间随着系统规模增大而指数性增长,造成求解稳定状态概率的复杂性的不足,提出了一种随机着色Petri网（SCPN）。分析了它的有界性和可达性,证明了它同构于一个一维连续时间的马尔可夫链;同时,也分析了随机着色Petri网用于建模和系统性能定量分析的方法。     

一类DEDS状态反馈控制器综合的新方法

对具有无穷状态空间的并发离散事件动态系统提出了一种基于Petri网图示的矩阵代数 综合方法.该方法借助于对Petri网的结构分解可以用于结构无竞争Petri网描述的一类离 散事件动态系统状态反馈控制器的离线综合.     

A methodology to specify three-dimensional interaction using Petri Nets

This work presents a methodology to formally model and to build three-dimensional interaction tasks in virtual environments using three different tools: Petri Nets, the Interaction Technique Decomposition taxonomy, and Object-Oriented techniques. User operations in the virtual environment are represented as Petri Net nodes; these nodes, when linked, represent the interaction process stages. In our methodology, places represent all the states an application can reach, transitions define the conditions to start an action, and tokens embody the data manipulated by the application. As a result of this modeling process we automatically generate the core of the application's source code. We also use a Petri Net execution library to run the application code. In order to facilitate the application modeling, we have adapted Dia, a well-known graphical diagram editor, to support Petri Nets creation and code generation. The integration of these approaches results in a modular application, based on Petri Nets formalism that allows for the specification of an interaction task and for the reuse of developed blocks in new virtual environment projects.     

一种生成具有变量标识的高级Petri网可达树的算法

Petri网动态性质的考察一般基于网不变量(Net Invariants)和可达树(Reachability Tree).这两个概念已被扩展到高级Petri网中.高级Petri网可达集空间随着网的复杂性而指数性增长是计算可达树问题中的一个主要难 点.本文定义了具有变量标识的高级Petri网并给出了构造该类网的可达树的算法.本文的算法以变量标识的等价关系(equivalent relation)和覆盖关系(covering relation)为基础,明显地简化了可达集空间.个体标识的信息可从变量标识的定义域中获得.     

模糊Petri网的反馈控制研究

本文首先将模拟技术应用于Ｐｅｔｒｉ网中，得到模糊Ｐｅｔｒｉ网模型，然后基于Ｐｅｔｒｉ网中的库所湾量的概念，在普通Ｐｅｔｒｉ网的反馈控制基础上提出了一种模型Ｐｅｔｒｉ网的反馈控制方法。该方法使得对复杂系统的模糊Ｐｅｔｒｉ多控制器的系统设计成为可能。     

基于Petri网的分布式多媒体同步模型研究

Petri网作为一种描述系统行为的形式化工具,在各类多媒体系统中有着较多的应用,尤其擅长于描述多媒体的同步问题,出现了诸如OCPN（对象组合Petri网）等多媒体同步模型,然而,这些模型却不足以处理分布式环境中的多媒体同步问题。本文提出了一种新的扩充Petri网模型并分析了其模型化的能力和性质,利用该模型可以较好地解决分布式环境中的多媒体同步问题。     

计算高级Petri网S-不变量的一种简单算法

在高级Petri网的性质分析中,S—不变量的方法是一个重要的方法,如何计算高级Petri网的S—不变量是一个重要课题。本文基于复合标志(Token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级Petri网的所有S—不变量,而不必将高级Petri网扩展为一般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.     

基于Stateflow的Petri网仿真方法

Stateflow是matlab环境下与simulink整合在一起的专门用来对复杂响应系统和事件驱动系统进行仿真的工具箱。应用其对Petri网模型进行仿真,提出了一种对Petri中资源的分类方法,根据petri网中资源的流通方式将资源分为循环资源、非循环资源．及隐性资源。并结合变迁的个数和激活方式给出了从一个已知的Petri网构造其相应的Stateflow的具体规则．及详细步骤,最后结合某汽车冲压单元的建模进行举例说明。构造过程显示出文中提出的仿真方法具有使用简单、通用性强、扩展性好的特点。     

Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets

Performance models are used increasingly throughout the phases of the software engineering lifecycle of distributed component-based systems. However, as systems grow in size and complexity, building models that accurately capture the different aspects of their behavior becomes a more and more challenging task. In this paper, we present a novel case study of a realistic distributed component-based system, showing how Queueing Petri Net models can be exploited as a powerful performance prediction tool in the software engineering process. A detailed system model is built in a step-by-step fashion, validated, and then used to evaluate the system performance and scalability. Along with the case study, a practical performance modeling methodology is presented which helps to construct models that accurately reflect the system performance and scalability characteristics. Taking advantage of the modeling power and expressiveness of Queueing Petri Nets, our approach makes it possible to model the system at a higher degree of accuracy, providing a number of important benefits.     

计算机网络的建模与分析

计算机网络具有既随机又相关的特点，因此选择计算机网络性能评价的数学工具要考虑到网络数据流的特性，排队模型是一种确定性的数学模型，用确定性的模型描述网络既随机又相关的动态行为是不够的。Ｐｅ＃簦颍? Ｎｅｔｓ（ＰＮ）能够比较方便地刻画网络的相关录枋鐾绲木赫⑴鲎埠妥枞樱校谓肜┏浞⒄苟吹乃婊校危梢员冉戏奖愕目袒缡录乃婊裕呓岷掀鹄创酉嗟背潭壬匣汉土思扑慊缃Ｓ敕治鲋涞     

Petri网及其扩展研究

Petri网是一种应用非常广泛的建模工具。首先给出了基本Petri网的概念,在此基础上对多种Petri网进行了广泛的研究,包括时间因素Petri网、有色Petri网、面向对象Petri网、模糊Petri网及受控Petri网,并针对每种Petri网的特点和应用范围进行了讨论,提出了Petri网当前发展的方向和急需解决的热点问题。     

一种新型Petri Net:双层变迁定时Petri Net

嵌入式系统的设计尤其是复杂嵌入式系统的设计，需要对系统的稳定性、可靠性等进行分析，进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析，该文在深入分析现有Petri Net的基础上，构建了一种适合于嵌入式系统建模的新型Petri Net。