Gu M, Liu Y-S, 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, editors. Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering [Internet]. Aarhus, DK: AU Library Scholarly Publishing Services; 2022 [cited 2025 Jun. 21]. pp. 23-3. (Antologier). Available from: https://ebooks.au.dk/aul/catalog/book/455/chapter/193