Spatio-Temporal Petri Net Model for Describing CPS Physical Entities
ZHANG Mingtai, ZHANG Guangquan, ZHANG Kan, CHEN Mingcai, FENG Fei
Journal of Frontiers of Computer Science and Technology . 2013, (4): 377 -384 .  DOI: 10.3778/j.issn.1673-9418.1209010