Gu, M. (2022) “Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins”, in Teizer, J. and Schultz, C. (eds.) Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering. Aarhus, DK: AU Library Scholarly Publishing Services (Antologier), pp. 23–33. doi:10.7146/aul.455.c193.