TY - RPRT TI - Variable Petri Nets for Mobility AU - Zhijun Ding AU - Ru Yang AU - Puwen Cui AU - MengChu Zhou AU - Changjun Jiang PY - 2021 DO - 10.1109/tsmc.2021.3103072 UR - https://arxiv.org/abs/2101.11379 ID - 2101.11379 ER -