A Practical Approach to Verification of Mobile Systems Using Net Unfoldings