Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins - Gu, Ming; Liu, Yu-Shen; Zhang, Hehua; Gao, Ge; Liu, Han; Song, Xiaoyu (Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering, 2022)