A Logic Based Approach to the Static Analysis of Production Systems