Gu, M.; Liu, Y.-S.; Zhang, H.; Gao, G.; Liu, H.; Song, X. Modeling and Validating Temporal Rules With Semantic Petri-Net for Digital Twins. In Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering; Teizer, J. ., Schultz, C., Eds.; Antologier; AU Library Scholarly Publishing Services: Aarhus, DK, 2022; pp. 23-33. https://doi.org/10.7146/aul.455.c193.