基于Petri网的合同网任务动态分配模型

文章根据合同网的任务动态分配思想,将多个主体划分为管理者主体和工作者主体2种类型,借助Petri网对任务分配过程中主体之间的协作及信息交互行为进行刻画,建立了具有固定数目的工作者主体和具有不定数目的工作者主体的动态任务分配模型,模型能够描述任务动态分配过程中所有可能出现的情形;同时对网模型系统的有界性、有效终止性和无死锁性进行了形式化的证明.     

基于面向对象Petri网的供应链工作流建模

供应链工作流需要可动态调整的柔性建模方法,本文将面向对象思想引入Petri网中,结合时延和状态标识,并借用了有色Petri网相关概念,建立基于时延特性的面向对象Petri网(SC-TOOPN).SC-TOOPN使供应链工作流建模更具结构化和动态化的特点,可以为系统提供一种形式化的建模工具.     

基于分层Petri网的敏捷供应链建模与分析

基于Petri网系统理论,采用分层分析的方法,将供应链抽象出顶层和底层模块,将顶层模块细化,形成底层模块,并生成与各层次相对应的状态图.根据状态图抽象出其中的库所、变迁等变量,形成对应的Petri网.利用Petri网理论对此供应链系统进行静态结构分析和动态行为分析,最终实现供应链上各节点企业的整体集成和协调控制.子网中应用CPRF流程生成订单的思想,构造订单生成子网模块,产品生产子网模块及信息采集子网模块,整合出整个供应链的子网系统.最后,对系统的鲁棒性和反应敏捷度作综合分析,构造了可达树,并对所建模型的正确性和可达性进行分析.     

基于Petri网的ECA规则建模

在Petri网理论基础上,对ECA规则进行了建模研究,建立了基本Petri网模型. 对如何用Petri网表示具有复合事件ECA规则进行了专门分析. 提出了扩展的Petri网系统,并综合考虑ECA规则自身特性,建立了ECA规则系统Petri网模型,比较全面地反映了ECA规则系统特性. 通过构建可达树和变迁序列,可以较为清楚地了解ECA规则系统及其行为特性,便于对规则系统进行合理性验证,以帮助系统管理员对其进行分析和管理.     

设备维修流程的petri网模型研究

从简单Petri网开始,用子网代替初始简单网的库所或变迁。系统的设备、资源及其动态协作关系用Petri资源、库所、变迁描述。在论述了petri网技术优点的基础上,提出采用层次化的Petri网技术来建立设备系统维修流程仿真模型,并举例详述了该模型的建立。     

供需网的IDEF0模型构建及MIFPN模型转换

将IDEF0模型与Petri网相结合,对多信息流系统进行功能描述和动态行为关系分析,提出了多信息流Petri网(MIFPN)的定义,给出了IDEF0至MIFPN转换的规则方法.在此基础上实现对多功能开放型企业供需网系统的功能分析与设计.     

多卫星—地面站系统的Petri网模型研究

提出一种新的扩展Petri网模型——时间约束着色Petri网,并对其进行了研究。然后,在对多卫星——地面站系统中的服务类型、资源类型及性能、设备调度规则等进行分析的基础上,建立了多卫星——地面站设备调度的时间约束着色Petri网模型,为整个星地系统的动态性能分析、设备配置方案优化提供了方法途径。     

基于CRPN模型的复杂系统故障诊断

由于复杂系统的结构和运行环境复杂,传统方法无法对其进行故障诊断.文中将基于案例的推理方法和Petri网理论引入到复杂系统的故障诊断中,建立了基于案例推理和Petri网的CRPN(Case-based Reasoning Petri Nets)模型,研究了该模型的变迁规则和案例特征等关键技术.利用两层CRPN模型,可有效地解决已有复杂系统故障诊断方法中存在的模型难以建立、推理过程模糊等问题.最后以飞机的某系统为例,探讨了基于CRPN模型的故障诊断过程,结果表明文中方法是有效的.     

炼钢连铸系统的动态调度模型和启发式调度算法

针对炼钢连铸系统对单元设备建立了动态调度模型,并利用基于该模型的赋时同步有色Petri网对整个系统建立动态调度模型,针对该模型,提出了一种启发式调度算法解决动态调度问题,并基于此实现炼钢连铸的仿真调度系统,结果表明,该算法能够较好地实现多级多机FIFO（先入先出）系统的动态调度问题。     

一种离散随机Petri网的性能计算和分析方法

为了有效地计算离散事件动态系统Petri网模型的时间性能,用一种离散扩展随机Petri网建立系统的性能模型,采用基于T-组件网的化简技术,结合等效延迟时间和概率分布不变的计算方法,求解和分析Petri模型的时间性能参数.实验结果表明,变迁不仅可以被赋予任意的延迟时间和概率分布,而且计算结果也具有很高的精度,为离散事件动态系统的建模和性能计算与分析提供了一种有效的数值化计算方法.     

ASBS适应行为稳定性分析

研究了基于服务的自适应软件系统的适应策略构建中适应行为的稳定性分析问题.主要采用了基于反射Petri网模型的分析方法,在反射Petri网模型中系统的业务行为与适应行为在不同的层次分离建模,适应行为模型相对业务行为模型透明.结合系统的反射Petri网模型提出了适应行为稳定性的具体定义,给出了适应策略中适应规则的建模方法以及应用反射Petri网模型对系统适应行为进行稳定性验证的方法,并通过一个实例对方法的可行性以及有效性进行了说明.     

基于模糊Petri网的供应链诊断建模分析

以模糊Petri网为工具,参照绩效评价指标,构造供应链的诊断模型,给出诊断算法.以制造商、销售商组成的简单供应链为例,选择供应链运作中的14个关键因素,模拟给出其因果关系,建立了基于模糊Petri网的简单供应链诊断模型,通过仿真分析,验证了模型的正确性和算法的有效性.该模型的建立形象描述了供应链运作管理中关键因素之间的影响关系,为供应链的诊断研究以及供应链的绩效评价提供一个新的思路.     

敏捷供应链中基于多代理的Legacy系统封装技术

为解决敏捷供应链中各异构Legacy系统的封装、集成问题,分析了直接数据库存取,基于函数与过程的调用、基于多代理封装等3种Legacy系统封装方案,采用CORBA、智能代理技术构造了基于多代理的Legacy系统封装框架,以实现系统的功能与信息集成。在Windows环境下实现了构成内封装适配器的网络通信代理,服务分解代理与监控执行代理等3个智能代理。     

供应链网状结构中多级库存控制模型

基于供应链网状结构模型，提出了该模型的多级库存控制问题，引入前置时间和订单执行率等参量，分析了供应链上各节点企业发生的订货费、存贮费和运输费。在假定需求函数和前置时间函数是随机分布的前提下，研究了在保证供应链上中企业一定订单执行率的条件下，确定最佳订货批量和订货临界点的方法，使其应链上总的库存费用最低；并以三级库存模型为例，给出了一种验证模型的方法，该模型能完整地表示多级库存系统中各实体之间的活动和相互关系，有效降低供应链上的库存成本，增强供应链的协调性。     

供应链突现结构研究的一种集成模型

在对系统动力学和离散的基于代理建模的优、缺点进行分析的基础上,针对供应链模型的可用性和应用性的要求,将2种方法有机地组合起来,研究了供应链的集成建模方法.基于此方法,实现了一个简单供应链原型和代理内部结构,分析了订单履行策略和吸引力衰减时间对供应链结构的影响.最后将供应链集成建模方法拓展用于供应链配送能力计划决策研究,结果表明,该方法对于进一步研究供应链的突现结构和行为是十分有效的,可以显著减少模型的先验复杂性.     

基于C/E系统监控器的CPLD实现

文章给出了用复杂可编程逻辑器件 (CPLD)实现离散事件动态系统 (DEDS)监控器的方法 首先用Petri网中的条件 /事件系统 (C/E系统 )对DEDS建模 ,然后使用Petri网工具对模型进行分析 ,并根据控制要求设计出Petri监控器 ,最后用CPLD实现之 这不仅使Petri网有了硬件支持 ,而且也为逻辑控制器的设计提供了一种新的方法 文中给出了猫和老鼠迷宫问题基于C/E系统监控器实现的例子     

基于多智能体的供应链协同机制研究

文章讨论了基于多智能体的供应链框架 ,在框架中由智能体代表供应链上的企业 ,以智能体的方式强调供应链企业间的竞合机制 ,设计一种多智能体的供应链模型 ,研究智能体结构以及多智能体系统的组织方式和协调机制。     

应急物流救援系统的Petri网建模与性能分析

为了更有效地分析应急物流救援系统的性能,在分析Petri网特性及主要功能的基础上,以大型自然灾害或突发事件为背景,引入随机Petri网建模方法建立应急系统模型,进行性能分析。首先根据应急物流救援系统流程图构建Petri网模型,对模型的可达性、活性、安全性进行分析以验证模型的有效性;然后利用马尔可夫随机过程与其同构的特性构建系统的马尔可夫链,建立线性方程,引入算例,通过主要性能指标的定量分析反映系统问题;最后针对系统问题提出建议。该模型能够形象地描述出流程发生的先后次序和异步并发关系,其成熟的性能分析方法能够有效发掘影响系统运作效率的关键环节,为分析系统流程提供了可行的方法,所提建议为优化应急物流救援系统提供了参考。     

基于Petri网的自校正模型

在增加Petri网标识的冗余度基础上，通过构造监督矩阵和冗余矩阵，提出了具有自校正能力的Petri网模型；给出了Petri网有效的递推寻错法，该方法不仅能够检测和纠正Petri网中出现的故障，而且可以给出实际对象网络中与故障相关的进程；利用不间断电源的Petri网模型验证了递推寻错法的正确性以及在实际应用中的可行性．     

适应动态需求的供应链多级库存系统仿真

针对需求的动态不确定性和供应链多级库存管理的复杂性，将适应性需求预测、预测误差追踪、改进的散列搜索算法与系统仿真相结合，提出启发追踪仿真优化方法，可以实现供应链多级库存系统决策的协同优化，并应用Simulink工具软件构建供应链多级库存决策系统的仿真优化模型。在不同需求波动模式下进行仿真测试，实验结果显示，该方法有较好地绩效表现，能够为供应链多级库存系统决策提供参考。