基于广义随机Petri网的再制造供应链建模与性能分析

为分析再制造供应链的性能,采用了基于广义随机Petri网的建模分析方法,并根据广义随机Petri网与马尔可夫链的同构关系,将广义Petri网模型转化为等价的马尔可夫链模型.通过马尔可夫链及相关数学方法得出再制造供应链的主要性能指标.该方法不仅可以分析整个再制造供应链的性能,还能对各个环节的运作效率做定量分析,为再制造供应链回收再制造模式的选择提供了一个思路.     

基于GSPN的供应链产品成套性建模与分析

针对供应链产品成套性评价的相关理论比较匮乏,结合Petri网可视化建模工具可以直观描述供应链系统的优点,提出了基于广义随机Petri网(GSPN)的供应链产品成套性建模和仿真方法。利用GSPN与Markov链的同构关系,计算供应链系统的稳态概率和各库所的忙闲程度,以确定系统模型的性能指标,通过实证分析验证了该方法的有效性,丰富了供应链产品成套性评价方法的理论。     

基于广义随机Petri网的SIP的验证和性能分析

在给出会话初始化协议（SIP）的服务工作过程的基础上,建立了SIP的广义随机Petri网模型（GSPN）,利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和性能分析。通过可达性分析、S_不变量分析和T_不变量分析验证了会话初始化协议的有界性、活性、守恒性和循环性。并且构造出与广义随机Petri模型同构的马尔可夫链,基于马尔可夫链的稳定状态概率进行系统性能分析。对会话初始化协议相关研究以及解决实际问题具有一定的理论价值。     

基于广义随机Petri网的单病种诊疗流程建模与分析

单病种诊疗流程是医院医疗服务流程的重要组成部分。针对单病种诊疗流程的特点,构建了基于广义随机Petri网的单病种诊疗流程模型。利用广义随机Petri网与马尔可夫链同构的特性,将模型转化为等价的马尔可夫链。根据马尔可夫理论及相关数学方法,获得并分析流程的主要性能,识另别影响流程运行效率的瓶颈环节。最后通过算例验证了该方法的可行性,为单病种诊疗流程的设计、规划和评价提供支持。     

基于GSPN的导弹多层级测试性需求建模与指标评估

针对目前导弹测试性需求建模尚未成熟, 开展测试性需求分析难度较高的问题, 提出一种基于广义随机Petri网(generalized stochastic Petri net, GSPN)的测试性需求建模方法。在分析导弹结构的基础上对导弹测试性需求问题进行了建模, 给出导弹两级GSPN模型, 深入分析其导弹系统的故障检测及维修过程。根据GSPN模型同构于嵌入马尔可夫链(embedded Markov chain, EMC), 以实存状态集和消失状态集表征库所变迁, 采用同构法对测试性指标进行求解。将多层级GSPN模型分解化简, 减少状态空间数量的求解。对导弹的GSPN模型进行定性和定量分析, 求解不同层级测试性指标最后通过仿真计算, 与系统要求可用度误差不超过0.7%, 验证了多层GSPN模型的可行性和分析结果的可信性。     

利用GSPN的计算机组装业供应链系统建模与分析

利用GSPN对计算机组装业的供应链进行了建模和性能分析。鉴于计算机组装业中配件来源的复杂性和多样性,本文对其供应链进行了简化,即把众多原配件供应商合并为一个大的供应商,从而使得GSPN分析的方法可行化。针对简化后的模型,我们建立了GSPN模型,并利用GSPN与马尔可夫链同构的思想对其进行了系统性能分析,指出了计算机组装业供应链系统在运营过程中出现的一些问题。     

随机Petri网在系统可用性分析中的应用

Petri网自1962年提出以来，倍受工业界和学术界的广泛关注。经过几十年的时间，Petri网的理论不断的完善，Petri网在各行业中不断的被应用。本文主要讨论了Petri网在系统可用性分析中的应用。首先从Petri网的基本概念和基本模型出发，讲述了随机Petir网模型（SPN）、广义随机Petri网模型（GSPN）和随机回报网模型（SRN）。然后以冗余备份系统为例，讨论了随机Petri网在系统可用性分析中的应用以及随机Petri网模型的分析。最后讨论与其它建模方法相比，利用随机Petri网来建立系统可用性模型的优点。     

基于GSPN方法的柔性制造系统过程模型和性能分析

应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法.针对柔性制造系统的离散性,对整个系统的过程模型进行分析.利用广义随机Petri网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持.最后,通过柔性制造系统实例,对该方法进行了检验.     

基于Petri网的飞控计算机系统可靠性建模与分析

应用广义随机Petri网建立Boeing777非相似余度飞控计算机系统可靠性模型,描述了系统的静态结构及动态过程;针对系统模型过于复杂而难以用现有的算法来计算的问题,提出将该系统分成支路级、通道级和系统级三级进行处理;并利用GSPN与马尔可夫链同构的性质,计算系统的可靠性指标。     

基于广义随机Petri网的工程突发事故应急处置流程建模及效能分析

工程突发事故不可避免,提高其应急处置能力是工程应急管理的关键环节。针对工程突发事故的随机性特征,运用广义随机Petri网对事故应急处置流程进行过程建模,利用广义随机Petri网与马尔可夫链同构特性构建其可达图,并分析模型的活性和有界性。以无锡地铁工程突发事故应急处置流程为例进行仿真,得到其时间性能、运作效率等主要性能参数,结果表明:该模型能有效发掘应急处置流程中瓶颈环节和处理耗时的关键活动,为定量化地评价工程突发事件应急处置流程效能提供一个新思路。     

着色Petri网在性能评价中的应用

着色Petri网作为一种高级Petri网,引入了时间,颜色集,层次结构等概念,并与编程语言相结合,使之更适合对大型复杂系统的建模与分析,具有更强的数据处理能力。利用CPN Tools为模型加入多个数据监控器（Monitor）,得到多种相应的性能分析结果,从而使得对系统性能的分析更加精确,同时实现了对系统行为仿真和对系统行为监控的完全分离,解决了通过马尔科夫过程求解进行性能分析得局限性的问题。     

基于可用度模型的故障预测与健康管理方法

为了将故障预测与健康管理(prognostics and health management, PHM)技术应用到工程实践中,提出了基于可用度模型的PHM方法。首先通过广义随机Petri网(generalized stochastic Petri nets, GSPN)和连续马尔科夫链(continuous time Markov chain, CTMC)建立基本单元的软硬件可用度模型和健康状态转换图,通过求解微分方程得到基本单元软硬件的可用度数值。然后综合软硬件之间的故障相关性建立基本单元的完整可用度模型,并利用事件调度仿真机制得到其可用度的解。最后将基本单元故障模型同通用的可修系统稳态可用度模型对比,得到“可用度-故障率-维修率”形式的PHM计算模型,并以此作为工程应用中PHM分析的有效手段。     

Agent网及其在军事物流体系绩效评价中的应用

为弥补Agent和Petri网在各自建模中的缺陷,分析了二者现有的几种结合方式,给出Agent网的定义及其运行规则和分析方法。利用Agent网从顶层建立了军事物流体系绩效评价模型,对其逻辑特性和绩效进行了分析。结果表明Agent网能够完整描述体系的逻辑和物理特性,可用于全面分析评价体系的绩效,有效追踪体系执行任务的过程。