工作流Petri网建模在电子合同系统中的应用

摘要

随着互联网的发展，电子商务模式已很大程度取代传统的交易方式，电子合同的使用范围也越来越广泛。本文基于电子签章技术的电子合同系统的设计与实现，通过使用Petri网对电子合同在线签订流程进行并发模型的建模，为系统实现电子合同在线签订时保证至少有两个单位可以进行合同会签，同时保证信息传输的保密、数据交换的完整性、发送信息的不可否认性、交易者身份的确定性，从而保证系统使用的安全性提供了可靠的依据。