基于Petri网的分布式网络单元流量优化

建立了基于Petri网的分布式网络基本模型DNMPN,实现了分布式计算机网络的基本功能,并在此基础上提出了流量优化的Petri网分布式网络模型DNMPNTO,改进了基本模型的重复转发问题。DNMPNTO具有很好的可扩展性,有效地优化了网络单元的流量,提高了网络系统的效率,适用于建立大中型分布式网络系统。     

基于Petri网的网约车系统建模优化

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析尤为重要.Petri网可达性是进行Petri网业务系统分析研究的基础,主要分析系统可能达到的状态和状态间的关系.针对常用的网约车软件,给出业务流程Petri网模型,并结合实际情况以及流程模型之间的交互关系,用Petri的可达性对系统进行建模分析.同时,为了商家和乘客利益的最大化,通过增加相关的控制结构对模型进行优化.实例分析了该方法的有效性.     

基于Petri网的购物储值卡流程模型优化

提出基于Petri网的购物储值卡流程优化方法.通过分析模型中各种行为之间的关系,查找现有购物储值卡模型存在的问题,通过增加相关的控制结构对其进行优化,使得优化之后模型具有安全性、有界性等性质,实现购物储值卡的实名化和可挂失.     

基于Petri网的电商平台快递配送服务的模型优化

针对电商平台快递配送服务的单用户单址服务的问题,提出了一种基于Petri网的电商平台快递配送服务流程模型的优化分析方案。首先,按照其基本流程建立了Petri网模型,与实际情况进行比较分析,发现此流程模型中存在诸多不足。然后通过增加或删除相应的控制结构,在原有模型的基础上进行优化。对此提出了一种亲情址的概念,实现了“多用户”的“多址”功能。让快递在分拣之后可以统一通知用户,节约配送员的时间,使得用户不用再重复去提取快递。最后,为了更清晰地表达优化后模型各个节点之间的关系,使用了PM4Py对优化的模型可视化为Petri网模型,再将其转换为流程树,并用PIPE软件仿真说明优化后的模型具有可行性和有效性。     

基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

基于Petri网的仓库火灾预警系统建模优化分析

对业务流程进行建模分析是业务流程管理的重要内容之一。文章通过形式化建模,用Petri网对传统的仓库火灾预警系统模型进行了优化分析。首先,给出传统仓库火灾预警系统的Petri网模型,通过模型模拟实际场景,找出模型中的缺陷;然后,通过增加相关的变迁和库所对模型进行优化,达到尽可能减小企业损失的目的;最后使用PIPE软件实验仿真验证优化后模型的可行性,实验结果表明,该优化后的模型可有效对仓库火灾进行预警。     

基于Petri网的建模支持

把Ｐｅｔｒｉ网应用于基于图形的模型管理和建模支持，为此对Ｐｅｔｒｉ网作适当的扩展以适应模型管理，并提出了数学模型的Ｐｅｔｒｉ网表示方法。研究了Ｐｅｔｒｉ网表示的模型的循环和连通问题，并给出了模型求解过程和模型生成的算法。     

基于Petri网的拼团流程模型优化及验证分析①

目前,越来越多的人倾向于拼团购物,从而获得以优惠价格购买商品的资格。在拼团流程中,为了实现顾客与商家互利共赢,并尽可能的满足顾客需求,为顾客提供更多的选择性,本文针对拼团流程模型进行优化分析。首先给出了基本的拼团流程模型。其次,构建了使用新功能卡的流程模型,然后通过分析流程模型中活动间间接的交互关系,将两个流程模型合并,同时增加相关的控制结构对其进行优化。最后基于Petri网化简的方法利用可达标识图验证了流程模型优化的合理有效性。     

Process of Petri Nets Extension

0Introduction Manynewcomputingplatforms,suchasthelocalareanetwork,Internetandthevirtualnetwork,arebeingcreatedandthenetworkcomputinghasbeenpopular.There fore,thesemanticsmodelbasedonsuchplatformsisdifferenttothetraditionalmodel.Comparedwiththetraditionalmodel,thenetworkcomputingmodelhastwospecialfeatures:first ly,computingunits(tofulfillatask)areallocatedonthedis tributedandindependentnodesandthesenodespossessre sourcesrespectively.Furthermore,thecentralcontrolnodeisnotnecessary.Secondly,thei…     

基于Petri网的超文本模型及其深入研究

本文首先讨论了目前超文本中一种常用的模型,然后提出一种新颖的超文本模型,并进行了深入讨论。     

基于着色Petri网实现A星算法的生产调度优化研究

基于着色Petri网对A星算法进行建模,研究生产调度优化问题.利用着色Petri网的理论优势,简化了大规模复杂工艺生产过程的调度模型过于复杂的问题.直接建立A星算法的着色Petri网模型,对于生产调度研究中的跨平台问题给出了一种解决方法.通过着色Petri网仿真模拟软件CPN Tools构建了基于着色Petri网的A星算法实例和生产调度实例.     

基于sFlow的分布式网络流量分析系统

设计一种分布式流量分析系统, 该系统利用分布式计算方法处理大量的sFlow采集信息, 避免了传统sFlow收集器在处理大量数据时成为系统瓶颈的问题.     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

一种分布式过程模型及实例的优化方法

ADEPT模型具有分布式对称控制结构, 可以对控制流、数据流建模. 但由于ADEPT模型未被形式化描述, 所以无法判断过程模型及其实例的正确性.对ADEPT模型进行了形式化定义, 并结合实例状态机给出了过程实例的形式化描述; 在此基础上提出了用于验证过程模型正确性及过程实例一致性的优化方法.     

基于主动网络的最优化流量控制

主动网络的分布式计算能力为网络流量控制提供了新途径,将网络的流量控制归结为一个用户收益的全局最优化问题,提出了改进的分布式算法来求解并设计了基于这种算法的主动网络最优化流量控制协议,证明了通过选取适当的收益函数,只需在主动结点中提供FIFO的调度机制就可根据用户需求分配不同的带宽,从而达到了区分服务的目的,仿真结果证明了协议的有效性。     

一种基于Petri的服务组合测试模型和分析方法

测试用例选择是服务组合测试的重要内容,将直接影响服务测试的效率和正确性。采用Petri网分别对基本服务、组件和测试用例等组成部分建立形式化模型,进行形成整个服务组合的测试模型。基于模型的状态空间分析测试用例的选择和实施。借助Petri网的操作语义及相关理论,分析了该方法的有效性及正确性。具体实例结果表明:该方法能有效地简化服务组合的测试过程,有助于提高测试的质量和效率。     

基于Petri网的一种实时计划调度方法

基于实际生产环境中制造系统经常受外部随机事件影响，利用可分解Petri网把整个系统分解成若干个模块，然后对其中的部分模块进行短期的计划调度，使得变更后的生产尽可能和预先计划相一致，并给出了基于关键路径的调度算法，这样既可达到对外部事件作出快速反应的目的，又提供了较优的调度策略。     

基于时间Petri网的渗透测试攻击模型研究

针对攻击模型会因为描述的攻击参数不完备,导致实际应用价值降低的问题,提出一种以漏洞为基本粒度,基于时间Petri网的渗透测试攻击模型及构建方法. 该方法对已知漏洞列表构建单漏洞利用模型,通过整合形成渗透测试攻击模型,并提供快速和稳定的漏洞利用方案选择算法,获得相应攻击方案,以及完成一次渗透攻击所需最短时间. 实验结果表明,该模型及算法可以有效地描述攻击时间和攻击稳定性,可实际应用于渗透测试.