Stav dette: Design and analysis of lean production systems