Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis