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

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

基于Petri网的MES系统形式化建模

针对一般车间执行制造系统结构复杂性高、重构能力弱、性能分析困难等问题,以水产品加工MES系统为例,通过Petri网对其进行形式化分析与建模.对水产加工的流程进行逐级分解、细化,根据功能将整个系统划分成3个模块,基于Petri网分别对3个模块进行集成建模.最后根据Petri网理论知识,对MES的Petri网模型复杂度与结点特性进行分析和研究,建立一种行业通用的、结构简单易扩展、灵活性强的Petri网模型.     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Petri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等.相关实例的仿真结果证明了该模型的有效性.     

流体随机Petri网的混杂自动机模型

为了克服数值分析方法在流体随机Petri网模型检验中的缺点,根据形式化方法,本文提出了借助混杂自动机实现流体随机Petri网模型的分析和验证的有效方法,同时介绍了流体随机Petri网到一阶混杂Petri网模型的转化方法.并根据改变不变行为状态事件之间的相互作用提出了正确的一阶混杂Petri网模型行为演变算法,在此基础上给出了流体随机Petri网的混杂自动机模型构造方法.实例分析表明,借助一阶混杂Petri网的行为演变及混杂自动机能够有效地实现流体随机Petri网模型的分析与检验.     

基于流体随机Petri网的工作流响应时间计算

提出了一个基于流体随机Petri网的工作流响应时间评价方法，该方法的主要优点是工作流任务的处理时间可取任意的概率分布，因此与已有的方法相比具有更高的准确性．以工作流的随机工作流网模型为起点，首先讨论了利用随机工作流网建模需解决的诸如时间变迁冲突等相关问题，举例说明了如何将随机工作流网模型转化为流体随机Petri网模型，最后给出了该种流体随机Petri网模型的稳态方程，说明工作流的平均响应时间可由对流体随机Petri网模型稳态方程的求解得到．另外指出了目前应用该方法存在的困难及将来可能的研究方向．     

自恢复容错系统的建模与分析

容错系统不仅会产生硬件故障,由于连续长时间的运行,系统的性能也会逐渐下降或失效,即老化现象。综合考虑容错系统中的硬件故障和老化现象,提出了将传统的冗余技术和软件抗衰技术相结合的策略,并给出了该系统的非马尔可夫随机Petri网模型,随之对基于该模型的系统进行了定量分析。     

模糊时间Petri网应用

本文在时间Petri网和模糊Petri的基础上提出了一个新的模型——模糊时间Petri网.在给出定义之后,并利用该模型的对一个简单的实例进行了分析,得出了利用模糊时间Petri网可以充分的利用资源,极大的提高了资源的利用率.     

基于Petri网的工作流建模及时间性能分析

为求得与实例到达率相关的工作流模型平均完成时间,对Petri网模型进行了扩展,定义了扩展时延Petri网,分析了工作流串联、并联、选择、循环4种基本模型,给出了利用排队论和随机Petri网理论计算工作流模型时间性能指标的新方法。应用该方法对工作流4种基本模型的实例进行时间性能评价,并在Exspect环境进行了模拟测试。实验结果表明,在4种模型中最大相对误差在2%左右,从而证明基于扩展时延Petri网的方法是分析工作流系统时间性能的有效方法。     

供应链配送系统的多主体Petri网模型的建模方法

研究供应链配送渠道系统中各相关实体的动态行为和协调机制.结合复杂适应系统理论,提出一种新的高级Petri网方法:基于Agent的遗传分层有色Petri网(AGHCPN),采用AGHCPN方法建立供应链配送系统适应性主体的执行层模型,实现对适应性主体自治性、动态性以及自适应性等特性的描述.通过建立供应链配送系统的多主体动态模型,为进一步的仿真编程工作奠定基础,达到对供应链多主体配送系统的定性分析和定量分析相结合的目的.     

基于ESPN的制造系统多任务可靠性研究

以一个有三台机床并同时进行多个加工任务的制造单元为例,采用扩展随机Petri网对其进行多任务可靠性建模,该模型不仅可以适应任意分布的制造系统,同时克服了传统的可靠性建模方法无法兼顾制造系统生产过程的时间动态特性.在此基础上基于Petri网行为表达式,并将矩母函数思想引入其中,则不必生成可达标识图就可通过计算模型的传递函数,进而得到整个系统的多任务可靠度,由此可以更直观地反映具有多种加工任务的整个制造系统的运行性能.     

基于新型扩展模糊Petri网的食品冷链故障诊断方法

针对生鲜食品在冷链配送过程中容易发生变质的问题,并考虑冷链过程的时序性特点,提出一种基于新型扩展模糊Petri网(EFPN)的故障诊断方法.该方法通过将模糊规则映射到扩展模糊Petri网,对故障诊断过程中的不确定性问题进行定量分析,从而得到引起故障的原因.利用库所带有的关键因素开始时间信息可排除未发生的因素,降低诊断推理过程的复杂程度.最后通过实例对该模型进行了验证和分析.     

基于随机Petri网的资源竞争分析

文章以随机Petri网理论为基础,构建了在分布式控制系统中资源竞争环境下的排队网络模型,并通过一个应用实例对模型进行了定量分析;利用该模型对分布式系统设计进行了探讨,其估计算法可以较为全面的分析系统的性能,并能得到更为直观的综合信息。     

制造系统工作流设计的校验和性能分析方法

基于广义随机Petri网提出了对工作流的 流程和资源角色分配的转化规则。在此基础上, 得出了在虚拟企业中，重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是：安全、活性和标记守恒。对制造系统重组变化性能的定量分析，可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价，它为敏捷化快速重组优化找到了有效的手段。最后，通过实例说明了判定和分析的一般步骤。     

分布式数据库并发控制的一个理论模型

本文引进带时间的Petri网,给出分布式数据库中并发控制中的时间标记算法(time stemp)的Petri网形式描述,并利用带时间的Petri网理论分析和验证时间标记法的有关性质。     

基于Petri网的机场救援工作流模型及性能分析

当前的机场救援工作过多依赖救援手册和人为经验的指导,但是救援工作所固有的紧急性和不可预测性往往需要高效灵活的流程管理决策手段来支持.将Petri网工作流技术构建到机场救援系统,提出基于库所P规则和关联组合的救援动态工作流网模型,为机场救援流程管理提供了一种简单可行的方法,并结合实例,采用随机Petri网理论对该模型动态行为进行定量分析与评估,验证了模型的可行性,为模型的升级改进提供指导.     

综采面系统Petri网动态模拟及应用研究

从系统工程的角度出发,将Petri网引入煤矿综采工作面的分析和模拟研究。在定性分析的基础上,开发了系统生产过程的模拟软件,并且达到了量化分析。针对综采工作面的特殊性质,通过对系统不同元件属性的分析,建立了综采面系统的Petri网最小事件发生集模型,以及综采面煤流运输系统的Petri网模型;在数学解析方法无法给出量化解析解的情况下,根据系统元件的运行状态服从某一特定的概率分布的特性,采用以时间步长法为主线,其中贯穿最小时间步长法的计算机随机模拟方法,动态地模拟出了综采面系统生产的整个过程,并得出元件和系统的有效度、停机率、煤流定量变化曲线、产量等一系列量化指标。本研究为客观分析综采系统提供了依据。     

基于随机Petri网的煤仓储运系统可靠性分析

由于影响煤仓储运系统的故障因素多带有并发性、异步性及随机性的特点,所以定性和定量分析煤仓储运系统的可靠性较为复杂.该文利用随机Petri网构建了煤仓储运系统的模型.该模型直观地反映了煤仓储运系统的实际组成及其运行状态,讨论了可修复条件下系统的状态及其转换关系,揭示了煤仓储运系统可靠性的构成并对其可靠性问题进行深入地分析,从而得出系统可靠度的表达式.最后,结合具体煤仓实例分析了模型及其算法的可行性,得出了改善实际煤仓储运系统的相关建议.结果表明,此方法为分析煤仓储运系统可靠性提供新的途径.     

混合随机Petri网

二阶流体随机Petri网是一种用于计算机和通信系统性能与可靠性评价的建模机制.混合随机Petri网是对二阶流体随机Petri网的进一步拓展,其中,流体跳跃弧作为建模原语被赋予瞬时清空与之相联接的连续库的功能.给出了混合随机Petri网随机标识过程的动态方程,在该方程的推导中,首次将同时伴有流体跳跃发生的离散状态转移考虑在内.最后对流体流动速度随连续标识变化的情况下的边界条件进行了分析,使得可直接用数值方法对动态方程进行求解.     

防化装备维修保障系统的Petri网

为了解决传统的Petri网模型结构复杂、缺少时间描述等不足,在装备维修保障系统建模中,利用有色Petri网、赋时Petri网理论,提出了装备维修保障系统的Petri网模型,具有结构顺序明确、计算简便、效率高等特点。     

基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。