TY  - RPRT
TI  - Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins
AU  - Han Liu
AU  - Xiaoyu Song
AU  - Ge Gao
AU  - Hehua Zhang
AU  - Yu-Shen Liu
AU  - Ming Gu
PY  - 2022
DO  - 10.7146/aul.455.c193
UR  - https://arxiv.org/abs/2203.04741
ID  - 2203.04741
ER  -