连续系统的受控连续Petri网模型

对于连续系统提出了一种受控连续Petri网模型．该模型充分考虑了系统状态的时变性质,在普通连续Petri网的基础上,对连续变迁的激发速度及触发规则进行了重新定义,从而能直观地、充分地描述受控连续系统的演变,从而为混杂系统统一的Petri网模型框架的建立提供了理论基础．利用模型详细讨论了连续系统的时间最优控制问题的连续Petri网描述．     

数据融合系统的Petri网模型

数据融合是对按时序由传感器获得的数据进行分析和综合的过程,本文提出了多维Ｐｅｔｒｉ网系统,用它建立数据融合的功能与结构模型,构造出该Ｐｅｔｒｉ网模型的可达树,在可达树上分析数据融合的性能和行为,同时给出了建立多维Ｐｅｔｒｉ网模型和构造可达树的算法     

Petri网理论及其应用

Petri网是一种适于系统描述、分析和综合的图形数学工具,它的研究已引起了人们的普遍关注。本文着重讨论了一般Petri网理论,并对计时、随机和高级Petri网以及Petri网理论的应用进行了简要的介绍。     

Petri网在时序建模中的应用

本文提出了一种对离散事件系统进行时序建模的TL／PN（时序／Petri)方法。文中描述了点－区间时序逻辑的形式定义体系,以及基于图模型（把系统的时序特性转化为图结构）的时序推理机（TIE）的原理和应用。本方法不仅可避免传统设计中的时序歧义和错误,同时推导出的新的时序关联还能识别用户自定义的有用区间。     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

面向对象Petri网在制造系统建模中的应用

本文介绍了制造系统的概念及制造系统建模的目的和意义,针对制造系统建模的特点,利用面向对象Petri网（Object-oriented Petri Net,OOPN）对其进行建模和优化。系统地介绍了OOPN建模优点及其在系统建模中的应用现状,分析了制造系统建模特点,探讨了制造系统建模的具体流程。最后结合生产车间制造系统建模实例,进一步阐述了OOPN技术在制造系统建模中的应用。     

基于Petri网的离散事件系统建模

用Ｐｅｔｒｉ网作为建模工具,对典型的离散事件系统的建模进行了研究。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

基于受控Petri网的物流实验系统的研究

随着控制系统的复杂化,传统的方法已经不能很好地用于描述离散事件系统(简称DES)了.为此,定义了一种受控Petri网(简称CPN),并对其中冲突事件的避免进行了探讨.针对物流实验系统中被控点数较多、控制过程也较为复杂的特点,利用CPN技术对系统进行建模,较好地解决了系统中存在的一系列协调、竞争以及并发事件,有效地避免了冲突事件的发生,同时对于系统的CPN模型利用PLC加以实现,并验证其正确性及其可靠性.     

Petri网在工作流技术中的应用

论述了Petri网理论和工作流技术,探索了Petri网和工作流技术相结合的优势和可行性,讨论了如何运用Petri网理论实现工作流管理系统部件——过程定义工具的分析功能,并部分实现了分析功能。     

约束网系统及其应用的研究

提出了约束网系统，并讨论了它的行为特性及其在主动数据库系统建模中的应用，给出了主动数据库系统的模型及其总体结构。     

Petri网理论在变电站故障诊断中的应用

为提高变电站故障诊断的效率,本文以Petri网络模型中的库所表示变压器、开关、继电器等电力设备,以Petri网络模型中的变迁表示开关、继电保护等的动作情况,对应实际生产中的具体设备,整个诊断过程通过矩阵运算实现,使得诊断结果更有针对性,实际运算速度更快,诊断正确率有所提高,从而对故障信号具有更强的识别能力。     

Petri网在智能评估系统知识表示和推理中的应用

为解决考核评估中传统算法存在的问题,实现计算机自动评估,将Petri网应用于模拟训练系统操作评估.提出Petri网的评估知识表示方法,针对故障处理操作的复杂性和动态性,将模糊Petri网应用于机电人员故障处理操作的评估推理.该应用能提升评估知识表示的质量,改善故障课目评估效果.所开发的智能评估系统应用在培训教学中,提升了艇员的培训效率和质量.     

可拓推理的Petri网表示

将可拓理论的知识表达与Petri网相结合得到可拓展Petri网EPN(Extension Petri Nets)．EPN不但可以进行传统的逻辑推理以及模糊推理表示,还可以进行可拓推理表示,增强了Petri网对系统可扩展性的描述能力,同时也为可拓推理提供了有效的图形化表示方式,并行推理和数学验证分析方法．     

模糊Petri网的约简技术

该文作为Petri网系统的推广,模糊Petri网可以更有效地处理带有模糊信息的库所和变迁。首先通过库所变迁串联、变迁并联及库所并联等模式下的简化规则,约简模糊Petri网系统而不改变其动态行为。接着,给出按上述规则简化一个模糊Petri网故障诊断算例。     

基于Petri网的CAN总线性能分析与评估

分析了控制器局域网络（CAN）总线调度的特点及其与传统单调速率调度算法（RM）的区别,讨论了将CAN总线应用于实时性要求严格的实践存在的问题,使用Petri网络方法对CAN总线建模.仿真实验数据表明,该模型可以优化CAN总线负荷,提高CAN总线的实时性能.     

基于Petri网和BOM的拆卸建模方法研究

基于Petri网理论提出了虚拟拆卸网模型,关键技术是同步器对变迁的逻辑关系的确定.给出了其库所、变迁以及托肯的含义.基于基本对象模型提出了虚拟拆卸交互模型VDIM,研究了从网到VDIM的实体类型、事件类型、交互模式以及状态机的映射原理,并讨论了VDIM的模型可组合性.从联邦成员的划分,时间管理和同步管理三个方面研究了网模型和VDIM模型中仿真信息的融合,以便直接用于仿真系统的开发.最后的实例证明了研究的可行性.