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