基于Petri网的酒店支付模型优化分析

以优化酒店支付模型和提升客户体验为目的,提出了一种基于Petri网的酒店支付模型的优化方法.首先根据酒店支付的实际流程建立基于Petri网的原流程模型,并分析原流程模型中存在的不合理环节; 然后在保证酒店支付行为可行的情景下,通过增加相应的结构变迁对原流程模型进行优化; 最后利用PIPE软件对优化模型进行模拟运行,结果表明优化后的模型合理、可靠,可为酒店支付提供有效参考.     

基于Petri网的危险品出入库流程建模优化

针对危险品出入库流程中存在的安全隐患问题,提出了一种基于Petri网的危险品出入库流程模型的优化分析方法.首先介绍了Petri网的基本概念; 然后在确保出入库流程安全的前提下,通过增加、删除、合并变迁等方法对出入库流程进行了建模优化; 最后利用PIPE软件对优化后的模型进行了模拟运行,结果表明本文方法能够有效提高危险品出入库的安全性和高效性.     

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

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

基于Petri网的发热门诊流程模型优化分析

疫情防控期间,为了充分发挥发热门诊的作用,提出了基于Petri网的发热门诊流程模型优化分析.首先,根据发热门诊的实际情况,通过库所与变迁之间的交互关系,用绘图软件Microsoft Visio构建了发热门诊流程的Petri网模型;然后,对构建的初始模型进行分析,发现模型中存在交叉感染、资源浪费的问题.论文通过改变Petri网之间的行为轮廓,对模型做出适当调整,进行优化.最后,对优化后的模型通过PIPE软件进行仿真模拟,验证其有效性.     

基于Petri网的网络订票系统换乘问题的建模优化

针对网络订票系统换乘车次时只能换乘其他车次列车的问题,建立一种基于Petri网的流程模型对网络订票系统中换乘问题进行了优化.首先分析模型中各变迁行为轮廓的弱序关系; 然后在不影响订票流程的情况下,通过增加Petri网控制结构实现了换乘问题的优化,达到了合理的换乘目的.最后通过PIPE软件对优化模型进行了仿真模拟,结果表明优化模型安全、有界.     

基于Petri网的门诊就医流程模型优化分析

为减少患者就医排队时间,实现医院和患者之间相对的利益达到最大化,本文给出了基于Petri网的门诊就医流程模型的优化分析方法.首先,给出门诊就医流程的Petri网模型,通过实际的门诊就医情况分析流程模型中库所和变迁之间的交互关系,找出模型中存在的问题; 然后,通过增加相关的控制结构对模型进行优化,并通过分析说明了流程模型优化的有效性.     

基于Petri网行为轮廓的网上购物流程挖掘方法

为了满足企业业务流程模型的运行效率、完善网上购物流程,提出了一种基于Petri网行为轮廓的网上购物流程挖掘方法.首先根据某网上购物系统提供的事件日志,利用Petri网行为轮廓的弱序关系,设计出相应的流程模型; 然后通过计算模型与事件日志之间的服从程度,对初始模型进行改进和优化; 最后用实例分析说明了本文挖掘方法的可行性.     

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

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

基于Petri网的图书借阅系统的 建模与优化分析

为提高图书的利用率,实现更人性化的借阅服务,提出了一种基于Petri网的图书借阅系统模型的优化方法.首先,通过分析图书借阅系统的结构,利用Petri网对借阅系统进行建模; 其次,对Petri网模型中的各变迁之间的行为轮廓关系进行分析后,通过增加控制结构对模型进行优化; 最后,利用PIPE软件对优化后的模型进行仿真模拟,结果表明优化后的模型具有有界性和安全性.     

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

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

Petri网的遗传算法在Job-Shop问题中的应用研究

提出了一种基于扩展时间Petri网(ETPN)的单亲遗传算法,并利用该算法对Job-Shop调度问题进行了求解.首先定义一种扩展时间Petri网,然后利用定义的扩展时间Petri网对Job-Shop调度问题进行建模,最后应用单亲遗传算法对模型进行优化调度.通过实例证明了该建模方法和优化算法的有效性和正确性.     

对一个 Petri 网进程表达式的探讨

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。     

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

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

Petri网的融合系统建模与仿真

Colored Petri网是Petri网建模与仿真技术的前沿,通过使用CPN-tools仿真软件对两种融合结构(集中式和分布式融合)进行建模。在同一运行规则下,通过设置相同的参数进行建模仿真,结果表明该模型和方法是合理和有效的,可以作为进一步仿真的基础模型。     

制造系统的Petri网建模

应用Petri网对作为离散事件动态系统的一个简单制造系统进行了建模分析,阐述了Petri网建模的主要特征及方法,介绍了Petri网在制造系统描述中的应用,并以某机器制造车间为研究对象进行了实际建模,给出了相应的Petri网模型.     

ISDN网络层协议模型化验证及其功能实现

本文首先介绍了 ISDN 网络层协议的功能及试验模型的功能块连接,并示出了ISDN 的电路交换呼叫程序.然后,介绍一些 Petri 网的基本概念,利用 Petri 网对TSDN 网络层协议进行模型化,并对模型进行带先进先出(FIFO)信道的可达性分析,得出一些验证结论.同时,指出该分析方法的一些局限性,并提出一些相应的解决策略.     

着色网到基本网的等价变换

本文证明了任意一个着色网都可以转换成与其等价的基本网，并给出了这种等价转换的算法。为利用基本网的分析技术分析着色网的性能提供了一种方法。     

可拓推理的Petri网表示

将可拓理论的知识表达与Petri网相结合得到可拓展Petri网EPN(Extension Petri Nets)．EPN不但可以进行传统的逻辑推理以及模糊推理表示,还可以进行可拓推理表示,增强了Petri网对系统可扩展性的描述能力,同时也为可拓推理提供了有效的图形化表示方式,并行推理和数学验证分析方法．