基于广义随机Petri网GSPN的系统安全性研究

针对基于广义随机Petri网GSPN的动态系统安全性建模与分析方法进行了系统研究。基于Petri网、GSPN模型的基本原理，提出了关键状态搜索算法，并进行了安全性仿真分析．将广义随机Petri网的扩展模型应用于安全性分析领域，丰富了动态系统安全性问题的研究手段。     

基于规则对象Petri网的柔性制造系统建模

针对FMS建模中存在的问题，通过分析FMS的组成和活动特点，提出了规则对象Petri网的建模方法。该方法集中了Petri网和面向对象技术的优点，并融系统决策规则子模型中。利用规则对象Petri网，建立了FMS的资源对象模型、动态行为模型和调度决策模型，为设计、分析和调度控制提供了有效的工具。     

基于Petri网的工作流建模研究

工作流技术正在成为计算机应用领域的研究热点。Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于用于工作流模型的建立。本文在介绍工作流和Petri网基本概念的基础上,给出了使用Petri网建立工作流的模型。     

基于模糊Petri网考虑制造约束的零件

加工方案决策是计算机辅助工艺规划中一直未能完全解决的关键问题.首先,在给出Petri网系统和T_不变量定义的基础上,根据Petri网原理和产生式规则建立一个基于模糊规则的零件表面加工方案Petri网模型;然后,根据Petri网T_不变量在考虑制造资源约束的条件下,提出一种新的可选加工方案T_不变量生成方法;最后,通过实例验证了所提方法的有效性.实例结果表明,采用作者提出的决策方法能够获得零件表面加工的最优/次优工艺方案     

基于模糊Petri网考虑制造约束的零件表面加工方案决策方法

加工方案决策是计算机辅助工艺规划中一直未能完全解决的关键问题.首先,在给出Petri网系统和T-不变量定义的基础上,根据Petri网原理和产生式规则建立一个基于模糊规则的零件表面加工方案Petri网模型;然后,根据Petri网T-不变量在考虑制造资源约束的条件下,提出一种新的可选加工方案T-不变量生成方法;最后,通过实例验证了所提方法的有效性.实例结果表明,采用作者提出的决策方法能够获得零件表面加工的最优/次优工艺方案.     

基于OOPN的FMS单元控制模型

由于Petri网既可以采用图形方式描述控制过程,同时又可以从数学上分析Petri网的死锁、可达性(reachability)、活性(liveness)等性质.因此,Petri网广泛地应用于FMS单元控制模型的设计.但Petri网在应用过程中,也存在着描述"爆炸"和无法嵌入调度策略等问题.本文提出了一种新型的基于面向对象Petri网(OOPN)的单元控制体系结构,该结构以分布式服务代理机制实现对生产过程的控制,它不仅具备减少Petri网模型规模以及面向对象编程特点,而目以代理机制的形式加入了控制模式.     

基于进程网模型的仿真技术研究

进程网是一种新的融合进程代数特征的Petri网模型。具有传统Petri网的图形化表示方式,又具有进程代数的语法形式。本文基于进程网系统,针对进程网建模工具Prn Tools,提出适合其模型的仿真算法,包括实现组件的逻辑关系,组件的点火判定,点火及仿真的图形化表示,以及仿真结束状态图的生成。实验结果表明Prn Tools仿真功能得到实现,该算法有效地实现了针对进程网的仿真技术。     

基于时间Petri网的建模与分析

介绍一种Petri网——时间Petri(TPN)。用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题。     

医疗信息系统工作流的Petri网建模与化简分析

应用 Petri网建模与工作流技术,构建了基于医疗信息整合(IHE)规范的医疗信息系统工作流的Petri网模型,并对一个医疗信息系统工作流实例,给出了基于Petri网化简分析方法的模型化简与性质验证,表明该模型能够对医疗信息工作流进行有效的分析和验证,从而为医疗信息系统集成设计及其工作流分析提供了理论基础.     

基于Petri网的绿色产品全生命周期模型分析

绿色设计是一项系统而复杂的科研项目，是设计理论和设计方法的综合性研究，本文从系统的角度分析绿色设计理论的模型框架，并结合其特点进行引入数据仓库技术和Petri网理论的研究；最后结合实例初步探索Petri网在绿色设计体系中的应用过程和方法。     

基于Petri网和故障树的变电站故障诊断方法

针对变电站的设备组成及联接特点,利用Petri网(PN)的图形特性,提出了一种基于Petri网和故障树的变电站故障诊断模型和诊断方法.利用PN建立了可能性故障区域诊断模型,利用PN和故障树建立故障元件诊断模型.详细给出了变电站可能的故障区域诊断方法和变电站故障元件诊断方法.在故障元件的诊断中,建立了针对可能故障区域的面向设备的子Petri网模型,降低了诊断的复杂性.仿真研究表明,利用该方法可以比较容易实现变电站故障诊断系统,且有高的准确性和诊断效率.     

基于随机Petri网的铜带拉弯矫直机可用度分析

为了合理确定铜带拉弯矫直机的校验周期,提高其生产效率,确保其矫直精度,根据某铜板带公司拉弯矫直机9个月的维修数据,对拉弯矫直机的失效模式进行随机Petri网建模,将系统失效模式转换成相应的随机Petri网;基于马尔科夫过程对随机Petri网进行瞬态概率求解,并得到该拉弯矫直机失效模式的稳态概率;利用或门对应的随机Petri网模型分析,计算不同校验周期下拉弯矫直机的可用度.综合考虑设备可用度和经济效益,确定了合理的校验周期,为拉弯矫直机的长周期运行提供了依据.     

基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识，提出了基于时间-有色Petri网（TCPN）的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度，控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。     

基于Petri网和语义网络的虚拟维修过程建模与应用

针对当前虚拟维修过程中模型庞大,维修流程不可反复,部件间关系描述混乱等问题,论文提出一种Petri网和语义网络结合的过程建模方法——TJ(Training Join)网。TJ网上层利用语义网络对部件进行层次结构分解和资源规范聚类,实现子部件间逻辑互联;下层运用Petri网的变迁和触发规则提炼出Petri网元素模型,提高模型的通用性和建模效率。同时模型中的状态收集模块可实现部件属性状态间信息共享。最后,以虚拟维修平台中飞机电子设备架的维护为例,验证了TJ网的有效性。     

基于解决资源冲突的配送中心流程优化

运用Petri网技术,研究配送中心资源冲突的模型。探讨利用信息技术解决资源冲突的原理与方法,建立了配送流程的Petri网模型。在此基础上提出了利用信息技术实现优化配送流程的方案。     

模糊神经Petri网在发动机磨损故障诊断中的应用

针对模糊Petri网在故障诊断中缺乏自学习能力的缺点,将模糊Petri网与神经网络理论相结合,建立适用于发动机磨损故障诊断的模糊神经Petri网模型。其学习训练步骤包括：设置初始权值和阈值、利用期望的输入输出数据对、计算实际输出、修正权值,以及确定样本稳定。最后,以某型发动机磨损故障诊断为例进行仿真验证,结果表明该模型可行有效。     

EPMM模型中过程层理论在ERP系统模型构造中的应用

本文将EPMM模型中过程层理论中的Petri网技术、基本块细化思想、形式化定义语言应用到ERP系统模型构造中,改进、优化ERP系统模型的构造流程、模型结构层次、模型精确度,采用本理论构造的ERP系统模型将具有模型构建流程标准化、模型结构层次清晰化、模型构建精确化的特点。     

生产系统业务和制造流程再造的层次化方法

运用约束理论的思想,结合Petri网建模工具,提出了一种生产系统再造的流程结构优化和瓶颈优化的层次化方法,并对如何运用时间Petri网模型寻找和消除约束进行了探讨.这一方法有助于有效确定再造的重点,明确再造范围,从而提高再造的成功率.最后介绍了这个方法在企业的应用.     

协议分布式测试系统的性能模型

协议测试领域专家们已经达成共识：新一代的协议测试系统应该是分布式架构的。本文用广义随机Petri网(GSPN)对目前提出的几种协议分布式测试框架构造了性能模型，进行了性能比较和分析。为了解决状态空间爆炸的问题，提出了一种同步变迁实施速率等价法(STER)，这种方法能够对具有同步变迁的随机Petri网模型分解求解。     

基于时间竞争的企业营销环境风险预警模型

分析了企业营销环境风险的时间流特征,提出了基于时间竞争的企业营销环境风险识别模型;为了快速响应市场营销环境的变化,将Petri网技术引入企业营销环境风险管理活动中,根据营销环境信息流结构,把企业营销环境的风险因素、对营销环境风险的把握能力分别与Petri网的基本元素--库所和变迁联系起来,建立了基于时间竞争的企业营销环境风险预警的随机Petri网模型.最后,将模型应用于某高新技术企业,所得结果与实际情形相一致.