Petri-net-based Modeling of Online Shopping Workflow | IEEE Conference Publication | IEEE Xplore