@misc{indiciaeb0b648e0bdfa,
  title = {Variable Petri Nets for Mobility},
  author = {Zhijun Ding and Ru Yang and Puwen Cui and MengChu Zhou and Changjun Jiang},
  year = {2021},
  doi = {10.1109/tsmc.2021.3103072},
  url = {https://arxiv.org/abs/2101.11379},
  note = {Source identifier: 2101.11379}
}