M. Gu, Y.-S. Liu, H. Zhang, G. Gao, H. Liu, and X. Song, “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, J. . Teizer and C. Schultz, Eds. Aarhus, DK: AU Library Scholarly Publishing Services, 2022, pp. 23–33. doi: 10.7146/aul.455.c193.