The Complex Product Design Modeling Based on Spatial Sequence Colored Petri-nets. - Yongtao Hao; Peng Dai; Diming Liu (J. Softw., 2013)