Gu, Ming, et al. “Modeling and Validating Temporal Rules With Semantic Petri-Net for Digital Twins”. Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering, edited by Jochen Teizer and Carl Schultz, AU Library Scholarly Publishing Services, 2022, pp. 23-33, https://doi.org/10.7146/aul.455.c193.