GU, Ming; LIU, Yu-Shen; ZHANG, Hehua; GAO, Ge; LIU, Han; SONG, Xiaoyu. Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins. In: TEIZER, Jochen; SCHULTZ, Carl (eds.). Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering. AntologierAarhus, DK: AU Library Scholarly Publishing Services,2022. p. 23–33. DOI: 10.7146/aul.455.c193. Disponível em: https://ebooks.au.dk/aul/catalog/book/455/chapter/193. Acesso em: 21 jun. 2025.