A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems
Table 4
Comparison of running time and memory consumption for different algorithms on Petri net benchmarks. Memory consumption is in MB, and running time is in seconds.