JobShop examples updated to follow new notation