描述CPS物理实体的时空Petri网模型
张茗泰,张广泉,张侃,陈名才,封飞
Spatio-Temporal Petri Net Model for Describing CPS Physical Entities
ZHANG Mingtai, ZHANG Guangquan, ZHANG Kan, CHEN Mingcai, FENG Fei
计算机科学与探索 . 2013, (4): 377 -384 .  DOI: 10.3778/j.issn.1673-9418.1209010