基于petri网的自动取款机流程模型优化

《基于petri网的自动取款机流程模型优化》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、赤峰学院学报(自然科学版)2017,20(33),18-20基于Petri网的自动取款机流程模型优化李娟王丽丽刘祥伟安徽理工大学数学与大数据学院导出/参考文献已关注关注X关注成功！加关注后您将方便地在我的关注中得到本文献的被引频次变化的通知！分享·新浪微博·腾讯微博·人人网·开心网·豆瓣网·网易微博收藏打印摘    要：自动取款机(ATM)是由计算机控制的持卡人自我服务的金融专用设备,它可以提供基本的银行服务,是银行业务过程中十分重要且必备的环节之一.在银行业务流程中起着承上启下的作用.本文提出了基于Petri网的自动取款机工作流程模型优化

2、方法,通过分析流程模型中各项活动间的相互关系,查找存在的问题,在保证流程合理的情况下,通过增加相关的控制结构对其进行优化.关键词：Petri网;行为轮廓;流程模型;模型优化;收稿日期：2017-05-22基金：国家自然科学基金项目:基于行为Petri网的业务系统变化域分析方法及应用研究()Received：2017-05-221引言Petri网能够清晰的描述系统的结构,并且能通过图形来直观的表示Petri网模型,能够将系统运行的过程模拟出来,还能够表示出系统中的关系,如并发、冲突、共享等.而且Petri网还能分析系统各种结构性质和各种动态性

3、质.所以,Petri网是建立多种具有抽象层次的“网状”系统模型的重要工具.作为一种系统模型,Petri网不仅可以刻画系统结构,而且可以描述系统的动态行为(如系统的状态变化等),又可以引入许多数学方法对其性质结构进行分析.对于复杂的系统,Petri网可以对其进行分层描述.目前针对业务流程建模和优化的方法主要有:文献[1]运用Petri网的相关知识构建流程模型,能够直观清晰表现出业务流程的逻辑性和有序性.文献[2]提出了将两个业务流程模型事物的驱动关系合并成一个单一的过程模型,并将模型优化,此分析方法可以被应用于分析技术和过程挖掘中.文献[3]

4、使用当前资源的Petri网模型(ROPN),通过揭示坏标识和一个ROPN的结构性之间的关系,呈现出一个可以通过简单的计算来获得一个死锁防止控制器方法.目前,有不少文章应用Petri网的知识建模、分析发现存在的问题并优化,将原有的业务流程更加完善.如文献[4]以优化支付模型使购物最大利益化为目的提出了基于Petri网购物支付流程模型优化分析方法.文献[5]采用OML对ATM自动取款机进行建模后参照一定的映像规则将OML模型转换为Petri网模型,该模型虽然运用Petri网对ATM自动取款机进行建模但是没有针对ATM自动取款机存在的问题给出优化

5、,本文首先对ATM自动取款机运用Petri网语义、语法和建模标准进行建模,并对ATM自动取款机交易结束未拔银行卡可能造成的潜在问题进行优化,完善了ATM自动取款机业务流程,为人们的生活提供了方便.本文运用Petri网对自动取款机的业务流程进行建模,为了有效、便捷的帮助顾客降低交易结束未拔银行卡造成的利益损失,在Petri网的基础上构建自动取款机业务流程模型,结合Petri自动取款机业务流程模型中直观的图形表示,及丰富的系统描述手段和系统行为分析技术,我们可以有效的研究并提出优化方案解决顾客未拔银行卡产生的利益损失.2基本概念定义1[5](网

6、)满足下列条件的三元组N-(ST;F)称作一个网:其中定义2[5](变迁发生规则)一个网系统是一个标识网N-(S,T;F),并具有下面的变迁发生规则:(1)若;M(S)≥1则变迁t∈T在标识M下能够发生,记做M[t>1;(2)若变迁t在标识M下能够发生,且在发生后得到一个新的标识M,记做M[t>M',则有定义3[6](有界性)N=(S,T;F,M0)为一个Petri网,s∈S.若存在正整数B,使得坌M∈R(M0):M(s)≤B,则称库所S为有界的,并称满足此条件的最小正整数B为库所S的界,记为B(s).即当B(s)=1时,称库所S为安全的.

7、定义4[7](弱序关系)设(N,M0)是一个网,初始标识为M0,一对变迁(ta,tb)∈(T×T)是弱序,记作ta>tb,当且仅当存在一个发生序列σ=t1,t2,…,tn使得(N,M0)[σ>,并且有a=i,b=j,1≤iy∧y≯x,记作x→y;2、排他序关系:如果x≯y∧y≯x,记作x+y3、交叉序关系:如果x≯y∧y>x,记作x

8、

9、y将满足以上关系的集

10、合称为网N的行为轮廓,记作BPN={→,+,

11、

12、}.由以上的行为轮廓之间的严格序关系,还可得到严格逆序关系,如果x>y∧y≯x,此时记作x→y.如图1所示:其中A和B为图中特别标