TY  - RPRT
TI  - Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
AU  - Ru Yang
AU  - Zhijun Ding
AU  - Changjun Jiang
AU  - MengChu Zhou
PY  - 2021
DO  - 10.1109/tase.2022.3206999
UR  - https://arxiv.org/abs/2101.06104
ID  - 2101.06104
ER  -