Parameterized Verification of Infinite-State Processes with Global Conditions