基于Petri网及行为轮廓的理论基础,对网络购物系统进行建模并对模型进行优化,以达到使模型更具有实用性的目的。首先给出购物流程模型和一些弱序关系,在保证购物行为合理的基础上,通过增加相应的结构变迁和库所,利用行为轮廓的相关理论和性质如交叉序关系、排他关系等,对原网络购物模型换货环节进行优化,使减少换货时间和成本,说明了行为轮廓优化的有效性。