108 citations · 250 across the 14 of their papers we have counts for
Showing cs.SEShow 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…
cs.SE2020★ 25 cited
Petri Net Based Symbolic Model Checking for Computation Tree Logic of Knowledge
Leifeng He, Guanjun Liu
Computation Tree Logic of Knowledge (CTLK) can specify many design requirements of privacy and security of multi-agent systems (MAS). In our conference paper, we defined Knowledge-…