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: Aarhus Universitet; 2022 [cited 2025 Nov. 16]. pp. 23-3. (Proceedings). Available from: https://openbooks.kb.dk/au/catalog/book/455/chapter/193