面向仓储物流的建模及控制系统设计方法

为提高现代企业仓储物流的设计质量和效率,提出了一种基于资源颜色时序信号的扩展Petri网建模及控制系统设计方法.该方法首先采用资源颜色时序信号的扩展Petri网建立了仓储系统的动态模型,清晰地描述了各种物流活动的顺序、并发,冲突等关系,并结合关联矩阵,阐述了判断死锁和陷阱的方法.该方法建立的模型可根据Petri网运算规则进行保性化简,便于仿真分析和验证,且可直接用于系统可编程逻辑控制器的控制程序设计.最后,以仓储物流控制系统为例,阐述了系统建模及控制设计过程.     

基于关系对象Petri网的飞机装配系统模型快速构建方法

为支撑飞机装配系统分析与优化,提出了基于关系对象Petri网的装配系统模型快速构建方法.依据现场组织模式分析了装配作业单元分解结构,给出了装配系统关系对象Petri网的模型定义,建立了作业单元对象和关系的表示方法.以模型定义与表示为基础,阐述了装配元对象和逻辑对象模型的构建步骤与规则.采用对象简化网对模型状态空间进行压缩,并建立了基于线性不变量的模型特性验证方法.以某型飞机机翼装配单元为对象进行了实例分析,结果证明了该方法的有效性.     

基于有色Petri网和分类服务的Web服务组合模型

为更好地集成众多以N层结构开发的遗产资源,提高服务建模的重用性和通用性,提出对面向服务的Web资源分类,并采用有色Petri网研究分类服务的组合建模.在该方法中,以服务目标、资源、状态、数据信息作为描述服务的基本要素,引入控制库所表达外因事件对服务组合的影响,建立了基于基本服务构建组合服务的算法和简化规则,讨论了服务组合Petri网的分析验证方法.最后,应用有色Petri网工具,建立和验证了基于分类服务的电网故障诊断有色Petri网模型.     

基于Petri网的产品建模及其时序改进方法

为构建系统功能和行为模型以实现系统功能与行为优化,将Petri网建模语言应用于系统行为描述过程,提出一种行为建模与时序优化方法,对系统的动作时序进行改进。将技术系统中的能量流、物料流及信息流元素与有色Petri网结合,定义了系统行为建模语言。将系统行为分为串联、并联及反馈三种类型,并据此提出技术系统行为评定方法,提供系统动作时序的改进目标。提出5条行为优化路径及基于Petri网层次化建模过程的自顶向下行为优化方法,为系统动作时序的改进提供了方向与优化过程模型。将该产品行为建模方法与时序优化过程应用于一种纽扣电池阴极自动扣圈机的改进设计中,验证该行为优化过程模型的有效性。     

制造系统动态可靠性建模理论及其应用

在分析传统可靠性设计理论存在缺陷及面临挑战的基础上，评述动态可靠性建模主要方法。利用Petri网对动态系统的描述能力，将Petri网应用于系统故障分析和动态可靠性计算中，提出了基于故障Petri网的动态可靠性建模方法。以某挖掘机液压系统为例，研究了制造系统故障的Petri网静态描述和动态可靠性计算方法，求解得到系统可靠性数值指标。应用表明，随机Petri网在故障传播描述以及系统动态可靠性分析方面具有优势.     

基于Petri网的业务流程管理系统模型研究

Petri网是一个描述条件和任务之间关系的通用模型。在介绍Web服务和Petri网的基础上,结合电力行业某业务流程管理系统的实例,建立了一个基于Petri网的业务流程模型,在此基础上对简化后的Petri网进行死锁分析,以此作为业务流程建模的指导思想,可以提高业务流程系统的安全性、稳定性、健壮性。     

基于Petri网的电子政务系统建模与分析

针对电子政务系统中事件是随机并行发生的特点,结合Petri网描述并发系统的强大能力,提出了利用Petri网理论来建立电子政务系统模型.给出了一个已实现工程项目的建模实例,并对模型的正确性和有效性进行了分析.     

企业集成模式组合建模方法

针对先进制造领域中业务系统集成和服务快速封装问题,提出了一种企业集成模式的组合建模方法.定义企业集成模式单元以描述企业集成模式,支持业务系统功能的调用和模式化的消息处理;采用企业集成模式组合方法实现业务系统间的消息路由功能;使用Petri网描述模式组合,并给出组合的正确性验证算法;实现了企业集成模式建模工具MixEIP,支持以配置的方式构建食业集成模式组合.实验结果表明,该方法不仅提高了集成系统的建模效率,还具有较快的消息处理速度.     

EON Studio环境下基于Petri网的虚拟维修技术研究

在描述维修过程方面,现有的虚拟维修过程建模缺乏将抽象的维修任务描述与底层的仿真动作相结合.针对此问题介绍了一种基于Petri-Eon Studio的虚拟维修仿真系统,给出了一个虚拟维修系统框架.对维修过程采用任务层和动作层元素相结合进行描述,组成维修任务、维修工序、维修工步、动作单元和基本姿势构成的多层次结构.用Petri网描述维修任务并对维修过程进行建模,用Eon Studio提供的动作仿真方法进行动作层的实现.将Petri网模型和Eon Studio的仿真程序集成在Visual C++6.0平台上,用Petri网模型的分析结果驱动虚拟场景进行维修仿真,并控制维修仿真过程.     

企业资源计划ERP的Petri网建模研究

阐述了Petri网的建模过程和一般方法,利用Petri网技术对企业资源计划进行分析与研究,建立了企业资源计划ERP的Petri网模型,该模型直观的描述了ERP系统的全貌及相关部件之间的关系,可以准确捕捉系统需求,对企业管理的理论研究和实际管理中的宏观决策都具有重要的意义。     

自动制造系统中的事件、资源和Petri网

讨论了自动制造系统中事件的形式化表示方法，以及制造系统中的工序和资源的Ｐｅｔｒｉ网表示．在此基础上还讨论了一类自动制造系统Ｐｅｔｒｉ网关联矩阵的构造形式和初始标识的确定方法．最后提出了自动制造系统Ｐｅｔｒｉ网控制器的形式化设计方法．     

具有混合约束的离散事件系统的Petri网控制器的研究

针对由Petri网建模的离散事件系统中具有混合约束的Petri网控制器的设计问题,利用局部设计和Petri网简化技术改进与完善控制器的设计方法,并证明所提方法是最大容许的.先利用局部设计Petri网简化技术把所有约束库所融合为一个与它们标识总量相等的库所,然后再与受约束的变迁进行对照比较,使控制器的设计更为简单并且避免了死锁,尤其是对规模较大的系统,其优势更加明显.针对于约束的不同情况,给出了相应的控制器设计方法,最后通过几个例子对该方法的简单性和有效性进行了验证.     

基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测方法

研究了基于含不可观变迁Petri网的码垛机器人零件加工系统故障检测问题。结合机器系统运行过程中的故障特征,对Petri网在机器系统故障诊断中的应用进行了研究,提出了包含不可观变迁Petri网的基本可达树和诊断分析函数的概念及基本可达树故障检测算法。以码垛机器人零件加工系统为例,建立了Petri网系统模型,应用基本可达树故障检测算法进行检测,故障检测结果符合码垛机器人零件加工系统实际运行情况,验证了该方法的有效性。     

基于价值链的企业仿真和诊断的Petri网模型

价值链是评价企业竞争优势的新型方法，但价值链理论没有提供有效的可进行计算机仿真的建模工具。为了解决这个问题，提出基于价值链流程思想的企业Petri网模型。在该模型中，价值链每个环节用一个Petri网表示，然后通过合并库所变换成表示价值链的Petri网，使物流、资金流和信息流分别得到模拟，而业务流程则用引发序列表示。通过把若干业务流程组合成使用实例，可在仿真工具中观察代表流动资金、库存、生产资源和价值等库所的令牌数量的变化情况，从而进行企业的仿真和诊断。     

模糊Petri网在液压同步提升系统故障诊断中的应用

研究了基于可信度的合成式模糊产生式规则的表示方法,在此基础上,将模糊Petri网与矩阵运算相结合,给出了模糊推理过程的形式化推理算法,将复杂的推理过程采用矩阵运算实现,充分利用了模糊Petri网的并行处理能力,利用此理论及方法可以大大减少诊断时间,提高了准确度．最后以液压同步提升系统故障诊断为例证明算法的可行性和准确性．     

多资源服务处理系统的活性控制策略

为解决一类具有多资源服务处理制造系统中的死锁问题,提出了利用Petri网描述系统结构和动态特征的方法,以及循环结构的新概念,证明了循环结构是导致系统死锁的惟一结构特征。利用辅助系统Petri网模型,提出了计算系统的所有基本极大循环结构的方法。对每个基本极大循环结构增加一个控制位置及其相关弧以限制其资源的利用,从而有效地避免系统死锁的发生。     

板材FMS基于规则的面向对象Petri网建模

基于柔性制造系统（FMS）的运行特点，提出了基于规则的面向对象扩展着色赋时Petri网建模方法，该方法集中了面向对象技术和Petri网的优点，并融系统决策规则于模型中，利用该方法建立了板材FMS的模型，为系统仿真和调度研究创造了条件。     

Petri网在基于规则系统一致性问题检查中的应用

基于规则系统是目前应用较为广泛的一类专家系统,但它的知识库不易维护。本文针对基于规则系统的一致性问题,应用图形化建模工具Ｐｅｔｒｉ网的可达性概念和状态方程分析方法,提出了基于Ｐｅｔｒｉ网的一致性检查方法。文中首先对规则的三种Ｐｅｔｒｉ网表示模型进行了比较,并在含约束Ｐｅｔｒｉ网模型基础上,提出了一致性检验的命题方法,最后以实例说明该方法的实现步骤。当规则库较大时,相应的Ｐｅｔｒｉ网模型可能也会很庞     

基于Petri网的离散事件仿真与控制软件的开发及关键技术

针对离散事件系统控制对Petri网软件工具的需求,设计和开发基于Petri网的离散事件仿真与控制软件。通过分析离散事件仿真与控制的要求,确定软件的功能与目标,据此设计软件的体系结构。研究软件开发中的几个关键技术,如控制Petri网的提出及其基本类设计、基于控制Petri网的控制与仿真、Petri网模型的存储与读取、客户/服务器模式软件网络化架构等。开发基于Petri网的离散事件仿真与控制软件,它不仅具有Petri网模型建模与分析功能,还能实现基于Petri网的离散事件系统的网络化控制与仿真。在可重构加工系统试验平台上的应用表明,该软件是有效和实用的。     

基于规则的机械故障诊断系统的验证模型与方法

机械领域知识库是机械故障诊断专家系统的核心部分,知识库的异常会导致整个推理求解过程的不确定性,引起一系列的错误和冲突。将Petri网技术应用于机械故障诊断系统规则库的建模和验证,给出了规则库的有色Petri网的建模方法,对规则的使用次数控制、事实的保留等问题给出了处理技巧。基于有色Petri网得到了知识库各种异常现象的具体表现以及检测的方法。所给出的有色Petri网建模方法和分析技术适应于各个领域诊断系统的验证和分析,所提出的技术和方法具有普遍意义。