具有不可控变迁离散事件系统的Petri网控制器

考虑可用具有不可控变迁的受控Petri网建模的离散事件动态系统.提出了在这类 系统中实现一组不等式约束的控制器的综合方法.所提出的控制器可通过给系统Petri网模 型增加一些Petri网元素来实现,其计算是建立在本文提出的Petrl网的路增益概念基础上 的.方法是系统、简单、计算量小.     

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

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

基于改进的网重写系统途径的可重构制造单元故障恢复

提出了一种用于可重构制造单元故障恢复的策略与方法, 允许故障发生时, 通过对用于正常操作控制的Petri网形式的监督控制器进行局部、临时性的修改, 实现故障的恢复. 首先, 提出改进的网重写系统, 可用于动态改变Petri网模型结构. 然后,提出了基于改进的网重写系统的故障恢复方法, 其中改进的网重写系统用于操作、引导Petri网监督控制器由错误状态进入正确状态. 故障恢复后监督控制器的结构与期望属性维持不变. 最后, 以实例演示了该故障恢复方法的应用, 证实了方法的有效性.     

报文审批系统的赋时着色PN建模

报文审批系统(RAS)是一种典型的离散事件动态系统,适合用Petri网技术对其进行分析.考虑到传统Petri网具有一些固有的缺陷,文中基于高级Petri网--赋时着色Petri网(TCP-Net)理论,对RAS进行了分析,构造了RAS的赋时着色Petri网模型,给出了颜色转移函数.并且为了使用户能直观地了解当前报文的审批情况,还给出了流程跟踪算法.最终结果可以看出与传统Petri网模型相比,TCP-Net模型的复杂度已大大降低,并且结构简单清晰.     

基于Petri网的物流仓储系统的建模研究

Petri网作为一种离散事件动态系统的建模和分析方法,提供了在逻辑时序下研究系统特性和性能的有效手段,并有图形方法的直观性和逻辑方法的概括性.运用Petri网建立入库子模型及出库子模型,并使用基本Petri网和随机Petri网的化简规则对相应模型进行化简继而分析,得出优化结论,从而实现物流仓储系统的建模研究.     

网上证券交易系统的时序Petri网描述及验证

基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证.应用时序逻辑推理规则,从形式上严格证明了证券交易系统需求规范及其时序Petri网模型动态行为的一致性.结果表明,时序Petri网能够清楚而简单地描述事件间的因果关系和时序关系以及并发系统中某些与时间有关的重要性质,如最终性和公平性.因此,时序Petri网可作为并发系统形式化描述和分析的有力工具.     

基于矩阵方法的有界Petri网系统的能观性分析

Petri网和有限自动机是离散事件动态系统的两类主要研究内容.而Petri网系统的能观性分析与判别是基于Petri网的实际系统设计、优化、监测及控制的重要基础.以往关于Petri网能观测性的研究缺乏定量化的充要判别条件.本文利用代数矩阵方法研究了带有输出的有界Petri网系统的能观性问题.首先,基于矩阵的半张量积,将带有输出的有界Petri网系统的动态行为以线性方程组的形式建立了数学模型.然后,针对初始标识和当前标识,介绍了两种能观性定义.最后,基于矩阵运算建立了关于有界Petri网系统能观性的几个充分必要条件,并给出严格证明.数值算例验证了理论结果.本文提出的方法实现了有界Petri网系统能观性的矩阵运算,易于计算机实现.     

联锁逻辑模型的安全性分析

故障树分析法(FTA)用于静态分析系统失效的可能事件和状态,是分析安全苛求系统的可靠性和安全性的一种有效方法。时间Petri网(TPN)描述具有时序关系的并发系统,用于系统行为的动态建模。但利用时间Petri网无法严格证明其模型是安全的。提出了一种用于时间Petri网模型的安全性分析方法,该方法有效地结合故障树分析法和时间Petri网的各自优点,实际应用于联锁逻辑模型的安全性分析,并对不安全的模型提出修正方案。     

一类受控Petri网的反馈控制

受控Petri网是离散事件动态系统(DEDS)的一种控制理论模型.通过模型来研究实现 禁止状态避免的最大允许反馈控制是DEDS控制理论中的一个重要课题.文中对受控Petri网 的一个子类(非受控变迁子集的外延子网为TC网)讨论控制综合问题,给出求这类受控网中实 现禁止状态避免的最大允许反馈控制的一个算法.     

Petri网的硬件实现

Petri网是异步并发现象建模的重要工具,Petri网的硬件实现将为并行控制器的设计提供有效的途径.给出了几种Petri网系统的硬件实现方法,包括带抑制弧和允许弧的C/E系统、P/T系统、T-时延Petri网系统;给出了硬件实现中非纯网的处理方法.首先讨论实现各种Petri网的逻辑电路;然后用ABEL语言对逻辑电路进行描述;最后给出了一个用解释Petri网描述的服务系统的例子,说明如何使用硬件(CPLD)实现的方法.实验结果表明了上述方法的正确性.这对于离散事件动态系统控制器的设计,尤其是片上并行控制器、多处理器芯片的设计都具有十分重要的意义.     

离散事件动态系统的代数模型及其控制器的分析计算

本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态”的计算在本文给出的动态反馈控制器中得到了应用。     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Ｐｅｔｒｉ网，并用它为一类混杂系统建模：宏观为Ｐｅｔｒｉ网；微观为变形的线性时不变状态方程．同时研究了所提出的混合状态的演变规则、运行轨迹和状态方程．     

一类混杂系统的广义Petri网模型

提出一种含有变形连续时不变系统状态方程的广义Petri网,并用它为一类混杂系 统建模:宏观为Petri网;微观为变形的线性时不变状态方程.同时研究了所提出的混合状态 的演变规则、运行轨迹和状态方程.     

基于XML的生物代谢Petri网模型的标准化

针对分析生物代谢网络的需要，构建了生物代谢Petri网模型建模环境，并采用基于XML的Petri网标记语言PNML为标准，利用DOM实现XML解析，完成Petri网模型的标准化，通过对代谢网络Petri网模型实例的仿真，验证了标准化模型的正确性。     

Petri网及其扩展研究

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

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

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

基于随机Petri网的SPN2软件建模方法研究

随机Petri网(SPN)在进行系统性能分析时,其状态空间随着系统规模的增大而呈指数性增长,造成系统建模复杂。针对该问题,结合面向对象Petri网理论(OOPN)提出一种SPN2方法,与传统SPN方法相比,SPN2方法可进行分层及面向对象网中网建模,并应用该方法仿真高速列车在移动闭塞区间条件下GSM-R铁路无线通信系统的可靠性。     

模糊Petri网的反馈控制研究

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

Petri网在C3I系统仿真建模中的应用

建模仿真技术是C^3I系统性能评估、C^3I系统仿真分析与设计的一个重要方法。该文介绍了Petri网的基本概念,说明了Petri网建模的特征;给出了一种应用于C^3I系统仿真研究的建模方法：应用Petri网对C^3I系统进行分析与设计,实现从C^3I系统的组织框图到Petri网数学模型的转换;指出了Petrl网在C^3I系统仿真建模方面的不足和改进方向。最后,该文给出了用Petri网建模的一个简单应用实例。     

一类Petri网系统的活性

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