Skicka posten per e-post: Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets