13 citations · 34 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.SE2021★ 13 cited
Variable Petri Nets for Mobility
Zhijun Ding, Ru Yang, Puwen Cui +2
Mobile computing systems, service-based systems and some other systems with mobile interacting components have recently received much attention. However, because of their character…
eess.SY2021★ 13 cited
Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets
Ru Yang, Zhijun Ding, Changjun Jiang +1
Due to the mobility and frequent disconnections, the correctness of mobile interaction systems, such as mobile robot systems and mobile payment systems, are often difficult to anal…