Gu, Ming, Yu-Shen Liu, Hehua Zhang, Ge Gao, Han Liu, and Xiaoyu Song. “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, 2022. Accessed June 21, 2025. https://ebooks.au.dk/aul/catalog/book/455/chapter/193.