網上支付的安全性成為制約電子商務發展的重要因素之一。Set 協議是為實現網上
安全支付而專門制定的協議，基于這一協議構建了各種各樣不同類型的電子商務系統。本文以SET 協議為核心構建了通用的電子商務系統框架，并采用有色Petri 網理論對電子商務系統進行建模與仿真。本文一方面解決了目前電子商務系統設計缺乏統一、規范的方法問題，另一方面引入有色Petri 網理論從系統結構和性能角度驗證了采用SET 協議構建電子商務系統的可行性。
關鍵詞：電子商務；有色Petri 網；SET 協議
ABSTRACT: The Security of on-line payment becomes the important factor to prevent the
development of electronic commerce. Security electronic transaction protocol is constituted for safe on-line payment. Many kinds of information systems have been built on the protocol. This paper builds the framework of electronic business system by the protocol and set up model by Petri nets theory and tools. The problem that there is not a unitive method when a electronic commerce system is designed has been solved. At last this paper use colorful Petri theory to analyze the structure and performance of the model and verified the possibility to use the protocol.
KEY WORDS: Electronic business; Colorful Petri nets; Secure Electronic Transaction protocol