Text this: Verification of Computing Grids with Special Edge Conditions by Infinite Petri Nets