Variable Petri Nets for Mobility | 0 | 0.34 | 2022 |
Research on Enterprise DNS Security Scheme Based on Blockchain Technology. | 0 | 0.34 | 2019 |
Modeling and Analysis for Mobile Computing Systems Based on Petri Nets: A Survey. | 0 | 0.34 | 2018 |
Improving Restore Performance of Deduplication Systems by Leveraging the Chunk Sequence in Backup Stream. | 0 | 0.34 | 2018 |
Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets | 5 | 0.39 | 2017 |
Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees. | 0 | 0.34 | 2017 |
移动网可达树 (Reachability Tree of Mobile Net). | 0 | 0.34 | 2016 |