Gu, Ming, Yu-Shen Liu, Hehua Zhang, Ge Gao, Han Liu, and Xiaoyu Song. 2022. “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, edited by Jochen Teizer and Carl Schultz, 23-33. Antologier. Aarhus, DK: AU Library Scholarly Publishing Services. https://doi.org/10.7146/aul.455.c193.