线上P2P借贷平台作为互联网金融的主要组成部分之一,其中借贷业务流程应用广泛,然而这类系统存在诸多安全性的问题。针对此问题,本文利用Petri网对线上借贷业务流程进行建模,并对所建立的模型进行仿真与性质分析。实验结果表明,所建立的线上P2P借贷平台的Petri网建模具有合理性、可靠性及安全性等性质。