Modeling and Analysis for CPS Physical Entities Based on Spatio-Temporal Petri Net. - Guangquan Zhang 002; Mingtai Zhang; Rongjie Yan; Mingcai Chen; Chengkai Xu; Yejing Li (J. Comput., 2014)