Chapter
Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins
Contributors
Ming Gu
Yu-Shen Liu
Hehua Zhang
Ge Gao
Han Liu
Xiaoyu Song
How to Cite
Gu, M., Liu, Y.-S., Zhang, H., Gao, G., Liu, H., & Song, X. (2022). Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins. In J. Teizer & C. Schultz (Eds.), Proceedings of the 29th EG-ICE International Workshop on Intelligent Computing in Engineering (pp. 23-33). Aarhus University. https://doi.org/10.7146/aul.455.c193