Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems. - Zhen Wang 027; Wenjing Luan; Yuyue Du; Liang Qi 001 (IEEE Access, 2020)