摘要
银行贷款是现如今银行业务中一个重要的组成部分.不过出现了不少客户利用业务流程中的不严格性来达到骗贷的目的,为了防止此类现象的发生.在Petri网的理论基础上,围绕银行贷款业务的实际应用,设计了一个银行贷款业务系统架构,并在此基础上建立Petri网模型.采用关联矩阵和不变量的分析方法,对所建模型的动态性质进行分析,并使用PIPE对模型进行仿真验证.仿真实验结果表明所构建的Petri网不会产生业务信息溢出的情况,从而确保了银行贷款整个业务流程的严密性.
Bank loan is an important part of banking business nowadays.However,there are many customers who use the irregularity of business process to achieve the purpose of fraud,in order to prevent the occurrence of this kind of phenomenon.Based on the theory of Petri net and the practical application of bank loan business,a framework of bank loan business system is designed and Petri net model is established.The reachability,boundedness and activity of the model are analyzed by using correlation matrix and invariant analysis method,and the model is verified by PIPE simulation tool.The simulation results show that the constructed Petri net does not cause the overflow of business information,thus ensuring the integrity of the whole business process of bank loan.
作者
王吴松
方欢
WANG Wu-song;FANG Huan(College of Mathematics and Big Data,Anhui University of Science and Technology,Huainan,Anhui 232001)
出处
《怀化学院学报》
2019年第11期65-68,共4页
Journal of Huaihua University
基金
国家自然科学基金项目(61472003
61402011
61572035
61902002)
安徽省自然科学基金项目(1608085QF149)
安徽省高校优秀青年人才基金项目(gxyq ZD2018038)
安徽省博士后基金项目(2018B288)
关键词
PETRI网
关联矩阵
不变量
银行贷款
仿真验证
Petri nets
association matrices
invariants
bank loans
simulation verification
