通过Petri网进行形式化建模,优化网上拼单购物业务流程模型.分析拼单购物的实际情况,给出业务流程Petri网模型,查找流程存在缺陷.根据行为轮廓理论增加相应的结构变迁与库所,优化购物环节,使顾客拼单购物更加方便、省时.