Simulation and Verification of Online Shopping Mall order Processing Based on Petri Nets

A basic Petri Nets flow model of online mall's foreground and background order process is presented in this paper.In order to guarantee the orders not being lost,processors and senders check the orders at the same time.Moreover,the verification of this model is proposed through S-invariants technology.