摘要：银行贷款是现如今银行业务中一个重要的组成部分.不过出现了不少客户利用业务流程中的不严格性来达到骗贷的目的,为了防止此类现象的发生.在Petri网的理论基础上,围绕银行贷款业务的实际应用,设计了一个银行贷款业务系统架构,并在此基础上建立Petri网模型.采用关联矩阵和不变量的分析方法,对所建模型的动态性质进行分析,并使用PIPE对模型进行仿真验证.仿真实验结果表明所构建的Petri网不会产生业务信息溢出的情况,从而确保了银行贷款整个业务流程的严密性.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社