@misc{indiciaed4ac56dcd27c,
  title = {Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets},
  author = {Ru Yang and Zhijun Ding and Changjun Jiang and MengChu Zhou},
  year = {2021},
  doi = {10.1109/tase.2022.3206999},
  url = {https://arxiv.org/abs/2101.06104},
  note = {Source identifier: 2101.06104}
}