@article{modelingandvalidatingtemporalruleswith,
  title = {Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins},
  author = {Han Liu and Xiaoyu Song and Ge Gao and Hehua Zhang and Yu-Shen Liu and Ming Gu},
  year = {2022},
  eprint = {2203.04741},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2203.04741v2},
}