Mathematical Models, Heuristics And Algorithms For Efficient Analysis And Performance Evaluation Of Job Shop Scheduling Systems Using Max-Plus Algebraic Techniques