User Behavior Monitoring Mechanism of Online Shopping Processes based on Hierarchical Colored Petri Net | IEEE Conference Publication | IEEE Xplore