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