基于改进Petri网的电网故障诊断方法

为了获取精确的电网故障诊断结果,根据Petri网的基本理论,对已有的电网故障诊断Petri网模型进行改进,提出了基于改进Petri网的电网故障诊断方法.改进后Petri网模型同时考虑主保护、后备保护和失灵保护的影响,能够充分模拟实际故障中各个保护的优先级别,且该建模方法大大简化了模型数学推理的复杂程度.算例分析表明,该...     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题,在时间Petri网和着色Petri网的基础上,提出了一种新的扩展Petri网(EPN)模型,并在EPN中定义了条件矩阵Q,给出了Petri网与遗传算法相结合的优化方法和具体算法.使用本优化方法,对一个车间作业(Job-shop)调度问题进行了求解,建立了该Job-shop调度的EPN模型,并采用单个体遗传算法对Petri网模型进行优化,结果证明了该建模和优化方法的有效性和正确性.     

含有OLTC的电力系统的模型与分析

提出了利用规划计时Petri网方法来建立混杂电力系统的模型,分析了OLTC的离散调节与连续动态负荷的相互作用。运用多Lyapunov函数分析了混杂电力系统切换的稳定性,并给出了多Lyapunov函数法分析的仿真结果。最后,利用混杂规划计时Petri网模型,对负荷的突然变化进行了仿真。仿真结果表明,建立的模型是可行的。     

云计算环境下基于Petri网的流程计费模型

通过分析云计算环境下服务模块流程组合的动态性,运用随机Petri网进行动态流程建模与追踪,给出了分层计费体系下的流程计费模型,使用Petri网对该计费流程进行建模分析和设计,便于云服务提供商实现基于状态的计费控制,从而优化计费策略.实现了云计算基于过程模型的服务计量,并根据该模型进行相应定价,用户即可按需付费.通过应用实例验证了该计费方法的有效性和可操作性,为云服务提供商计费决策提供了技术支撑.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

无人机自主飞行任务管理器规则集的Petri网建模与验证

针对规模与复杂度日益增大的自主飞行无人机任务管理器策略规则集,提出采用将"颜色"表达为质数形式的改进的有色Petri网方法对规则集进行建模研究,并依据改进的有色Petri网模型运行过程中各库所内托肯数值的特征设计了规则集存在问题的判定准则。采用该方法对某无人机自主飞行任务管理器规则集进行了建模与验证,结果表明了该验证方法的有效性。     

基于赋时Petri网的装配序列规划符号求解

赋时Petri网非常适合装配序列规划问题的建模,然而组合复杂性严重制约了基于赋时Pefri网模型的装配序列规划问题的求解规模.OBDD能为Petri网的状态空间及装配序列规划过程中的数据提供符号表示,并在规划过程中实现隐式操作,有效地缓解了组合复杂性.通过将赋时Petri网中的赋时迁移用等价的赋时迁移结构代替,赋时Petri网转换为等价的普通Petri网,基于此提出符号有序二叉决策图OBDD装配序列规划算法,求解最优装配序列.     

一种Petri网结合遗传算法的优化方法及应用

根据实际优化问题，在时间Petri网和着色Petri网的基础上，提出了一种新的扩展Petri网（EPN）模型，并在EPN中定义了条件矩阵Q，给出了Petri网与遗传算法相结合的优化方法和具体算法，使用本优化方法，对一个车间作业（Job-shop）调度问题进行了求解，建立了该Job-shop调度的EPN模型，并采用单个体遗传算法对Petri网模型进行优化，结果证明了该建模和优化方法的有效性和正确性。     

基于UML和Petri网的建模及其验证

为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法。用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换。最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证。     

Research of the Assembly Model Based on Petri Net

Assembly model plans an important role in assembly sequence planning.Flexible assembly system (FAS) is a dis- crete event system (DES),so Petri net,as an important analytical tool for the DES,is used for modeling of an FAS.All of the feasible assembly sequences can be obtained by firing the Petri net model.In order to enhancing the efficiency of the assembly sequence planning,knowledge-based Petri net,combining an usual Petri net with expert's knowledge and experiences,is proposed to con- struct the assembly model.So the feasible assembly sequences can be reduced greatly,and the optimum assembly sequence could be generated without the combinatorial explosion of solutions.     

基于Petri网的企业科技项目管理工作流建模

科技项目管理是企业信息系统的重要组成部分，利用Petri网，对复杂的科技项目管理工作流程建模，解决企业信息化中较为复杂的科技项目管理工作流问题。同时，以企业科技项目申请流程为例，给出了相关定义，分析和解决设计流程中遇到的几个问题。     

基于时间Petri网和启发式搜索的资源分配

提出了一种改进的时间Petri网计划管理模型,综合考虑调度和资源分配,以充分发挥FMS的柔性制造能力.首先根据系统理论,区分了两种资源类型:主角(主资源)和配角(辅助资源),然后再根据主资源构造FMS的时间Petri网.这种方法简化了Petri网的构造,给出了一个清晰的资源调度流程,并且辅助资源的分配可以在调度的同时利用启发式搜索算法给出.最后,给出一个改进的时间Petri网在资源受限情况下进行调度和资源分配的实例.     

SDL规范性能自动分析

重点阐述 SDL 规范性能的自动分析.分两个步骤,首先将 SDL 规范映射到等价的 Petri 网模型,再对 Petri 网模型进行分析(可达性分析和线性不变式分析).分析工作与转换工作由工具 SDLPN 自动完成.     

基于Petri网的PPCES冲突消解模型

针对困扰单件小批生产企业实施ＣＩＭＳ 工程的关键问题──大设备平衡问题,在ＰＰＣＥＳ原型系统基础上,将随机Ｐｅｔｒｉ网引入专家系统,提出了一种能够有效解决资源竞争和资源分配两种冲突的Ｐｅｔｒｉ网模型,实现冲突消解策略,以解决大设备平衡问题．系统经改进后,能有效地优化瓶颈环节的物流,使ＰＰＣＥＳ的推理效果和效率更能符合工厂实际生产要求．     

基于Petri网的Internet多机器人协调控制器设计

基于Petri网库所不变量理论提出Internet多机器人协调控制模型,并利用此模型解决系统操作中的碰撞检测问题．通过对两个机器人协作空间进行网格划分,引入隐式、显式基本操作概念简化Petri网模型,从而增强了系统的灵活性;对操作中的异常情况进行分类,建立了故障恢复Petri网;利用库所不变量理论设计机器人协调控制器,规划多机器人协调动作．仿真实验表明,所提控制模型可以有效满足系统的安全性和实时性要求．     

单臂集束型装备随机Petri网模型与性能分析

针对因集束型装备配置非常灵活,运行模式多样造成的对装备性能分析困难的问题,提出一种用随机Petri网对集束型装备的运行过程进行建模,分析模型,计算装备性能的方法.利用工具Visual Object Net＋＋验证模型的可达性,活性,有界性.采用马尔可夫过程方法分析模型和计算性能.结果表明：该模型不仅可表现集束型装备的并发性,而且能表示出装备运转活动持续的随机的时间特性.与赋时Petri网模型相比,该方法更能反映装备实际加工过程.     

基于Petri网的电力系统故障域搜索

把Petri网方法应用到电力系统结线分析中,建立了变电站结线分析的Petri网模型,此模型同样适用于电力网的结线分析,可快速、准确地得到电力网的子系统,从而确定无源子系统为故障区域。通过对一模型系统的分析研究,表明用本文所提出的Petri网方法,能够准确地得到系统的各个子系统,并找出无源区域,得到故障区域。     

基于Petri网模型的信息系统结构复杂性分析

目的研究信息系统结构复杂性的定量分析方法. 方法基于Petri网模型,借助于网论中的数学工具,从其结构特性出发,定量地给出信息系统的复杂性描述和分析方法. 结果定义了结构复杂度及其两个相关因素:要素复杂度和关联复杂度,并给出它们与系统模型间的关系. 结论该分析结果可以有效地用于信息系统的系统方案设计、综合性能分析和系统评价等实际工作过程中.