Performance optimization of just-in-time manufacturing processes represented by timed event graphs