A Novel Logic and Approach to Speed up Simulation and Analysis of Production Systems