流体随机Petri网与混合Petri网的比较分析

流体随机Petri网和混合Petri网作为传统Petri网的拓展,可以建模离散成分和连续成分并存的混合系统,也可用于解决离散模型的状态空间爆炸问题.由于这两种建模机制远未发展成熟,分析比较它们的异同点有助于机制本身的进一步发展完善,有助于为特定的应用选择合适的建模方法.本文讨论了流体随机Petri网和混合Petri网的定义、连续标识、分析方法、以及相互转换的可能性.结论是这两种建模机制是互补的,各自适合于特定的应用场合.     

Comparison of Hybrid Systems and Fluid Stochastic Petri Nets

Hybrid Systems are modelsof interacting digital and continuous devices with applicationsin the control of aircraft, computers, or modern cars for instance.Concurrently, Fluid Stochastic Petri Nets (FSPNs) have been introducedas an extension of stochastic Petri nets to model physical systemsthat contain continuous fluid quantities controlled by discretelogic, as well as a means to deal with the possible state explosionof discrete models. Of course, an FSPN is by definition a hybridsystem but in this paper, we compare a general hybrid systemsformalism with FSPN formalism. The conclusion of this paper,suplemented by some examples, is that fluid stochastic Petrinets and hybrid system formalism can be converted from one tothe other. Although there is a price to pay for such a conversion,the conversion can transfer the solution methods from one tothe other and thus help the development of both formalisms.     

混合动态系统的混合Petri网（HSPN）模型

针对混合动态系统,提出一种混合Ｐｅｔｒｉ网（ＨＳＰＮ）模型,分析了该模型具有的特点及其运行规则。以冶金加热炉为例,给出了该系统的ＨＳＰＮ模型。     

基于混合Petri网的一类混合系统的动态分析

利用混合Ｐｅｔｒｉ网对一类典型的混合系统－－模式切换系统进行建模和分析；提出模式切换系统动态平稳性的概念；给出了二模式切换系统的平稳条件以及求解平稳点的算法，并用实例进行了说明。     

流体随机Petri网的一阶混杂Petri网模型

为了借用一阶混杂Petri网(First-Order Hybrid Petri Nets)的建模原语和分析方法来分析流体随机Petri网(Fluid Stochastic Petri Nets)以克服流体随机Petri网数值分析方法的局限性,本文提出了一种流体随机Petri网转换成一阶混杂Petri网的形式化描述方法,并对其转换的正确性进行了证明,最后通过实例分析了流体随机Petri网转换成一阶混杂Petri网的必要性.     

区间速率连续Petri网模型行为分析研究

讨论了区间速率连续Petri网模型的行为分析问题．通过划分标识等价类提出了任意标识下区间速率连续Petri网各个迁移瞬时引发速率的求解方法，并在此基础上给出了区间速率连续Petri网的行为演变算法．同时给出了区间速率连续Petri网行为演变的混杂自动机模型构造方法．应用例子表明了所提出行为分析方法的有效性．     

基于Petri网的混合动态系统接口层设计方法及其在热连轧中的应用

接口的设计是整个混合动态系统实现的关键。模拟模块化的思想，提出了基于Ｐｅｔｒｉ网转换器的实现方法，并且设计了热连轧过程从数值到符号的转换接口，为下一步实现实时调度奠定了基础。     

基于混合随机Petri网的一类混合系统的模型及稳定性

混合动态系统是包含离散事件系统（ＤＥＳ）和连续变量系统（ＣＶＳ）的复杂系统。讨论了一类每个离散状态包含一个连续动态系统,且离散事件具有Ｍａｒｋｏｖ链性质的随机混合系统,在提出利用混合随机Ｐｅｔｒｉ网的建模方法的基础上,给出混合均方稳定的概念、稳定性和可镇定条件,最后以一个简单的例子做子说明和仿真。     

Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control

In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in dealing with concurrency and complexity issues. A brief overview of existing results on hybrid systems that are based on Petri nets is first presented. A class of timed Petri nets named programmable timed Petri nets (PTPN) is then used to model hybrid systems. Using the PTPN, the stability and supervisory control of hybrid systems are addressed and efficient algorithms are introduced. In particular, we present sufficient conditions for the uniform ultimate boundness of hybrid systems composed of multiple linear time invariant plants which are switched between using a logical rule described by a Petri net. This paper also examines the supervisory control of a hybrid system in which the continuous state is transfered to a region of the state space in a way that respects safety specifications on the plant's discrete and continuous dynamics.     

基于Petri网的离散系统仿真方法研究

将Ｐｅｔｒｉ网（Ｐ网）的概念和方法应用于离散系统仿真的方法论研究中。提出了基于Ｐ网的系统化的离散系统仿真建模方法，重点研究了基于Ｐ网的仿真策略，探讨了Ｐ网仿真策略的实现方式，并对其特点进行了分析和讨论。     

Petri网结点精化及其应用

在Petri网精化概念的基础上,给出一种解决Petri网结点爆炸问题的方法,该方法针对精化的定义,从库所和变迁的约束条件入手,分析结点精化的可行性和方法,并给出证明。该方法的建立为今后利用Petri网进行建模提供了必要帮助。     

一种混杂Petri网模型动态演变研究

为了实现R.David和H.Alla所定义的混杂Petri网模型行为分析的正确性,提出了一个通用的模型动态演变方法.该方法给出了基于线性规划方法的混杂Petri网瞬时引发速率求解方法,解决了有效冲突情形下的瞬时引发速率求解问题.分析了改变不变行为(Invariant Behavior,简称IB)状态事件之间的相互作用及其对模型演变正确性的影响,同时提出了判定改变IB状态事件的方法.例子表明了所提出的理论与方法对混杂Petri网模型动态演变正确求解的重要性和有效性.     

时间Petri网在企业经营过程重组中的应用研究

本文给出了时间Petri网对企业经营过程中的生产流水线进行建模，并将之与工作流管理系统相结合以进行仿真分析的一种方案；结合实例说明方案的实施过程，其中关键在于约束条件的充定；通过消除“瓶颈”优化生产流水线，实现企业经营过程的有效重组。     

关于Petri网精细化操作及其应用研究

为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种子网,用这种子网分别对Petri网中的某些变迁进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这种精细化操作保持结构有界性、守恒性、可重复性、相容性和活性的充分条件。本文的结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。     

有色Petri网的一种面向对象扩展形式

Ｐｅｔｒｉ网与面向对象的结合一直是一个令人感兴趣的研究课题。本文把有色Ｐｅｔｒｉ网引入到面向对象方法中,提出了一种面向对象的扩展有色Ｐｅｔｒｉ网,简称为ＯＥＣＰＮ,     

基于Petri网的容错系统分层建模

扩展Petri网的结构,将一般的控制管理系统改进为具有容错功能的控制管理系统,应用扩展Petri网对其进行分层建模,包括系统的基础层、检错层、恢复层。采用故障恢复策略并使用带有基于Petri网分层模型中状态标识的行为跟踪、行为检错和行为改错增加控制管理系统的容错功能,并分析了模型的正确性。     

基于随机对象Petri网的柔性制造系统性能分析

为了增强传统对象Petri网的定量分析能力,提出随机对象Petri网模型。该模型具备随机性和层次特性,获得与随机Petri网的等价关系,从宏观和微观2个层面对系统进行性能分析,并将该模型应用到柔性制造系统中。实验结果表明,该系统保留了面向对象的建模能力,具有较强的定量分析能力。     

Tutorial and Survey Articles: An introduction to Petri Nets

This paper describes the fundamental concepts and characteristics of Petri nets (PNs) that make them a significant tool for modeling and analyzing asynchronous systems with concurrent and parallel activities and follows the extensions that improved the implementation capabilities of the original PNs.

Their first and most relevant extension was time modeling, a vital aspect of system performances not considered in the original version. There are several possibilities for introducing time in PNs. Among them, a technique that associates time with places is presented in some detail. As PNs tend to become cumbersome and time consuming when large and complex systems are involved, a method for decomposing timed PNs of open queuing networks is reviewed here.

Though initially developed as an information/computer-based technique, PNs were immediately adopted in a variety of application areas, such as manufacturing, design, planning and control. Viewed through a more recently developed programming perspective, the ordinary PNs became “high level” PNs suitable for defining different data types and for applying hierarchical approaches.

It is expected that the robust theoretical basis of this tool coupled with its visual and flexibility features will continue to appeal to researchers and practitioners alike in a variety of domains and as a result will continue to evolve and expand.     

Petri 网的步问题研究

在基于Petri 网的模型验证方法中,步被广泛用于减少变迁实施产生的语义交织.为了研究基于步的构造算法的计算复杂性,提出步的判定问题,并证明该问题是NP 完全的.进一步给出了极大步问题的多项式时间算法和最大步问题的NP 等价性证明.最后分析两类特殊子问题是P 问题.