A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems

Figure 1

A Petri net with two places and three transitions.