RECORD DETAIL
Back To Previous
Back To Previous
Title | Scheduling of Cement Distribution with Backhauls at PT. Semen Indonesia Using Priced Timed Automata |
Edition | |
Call Number | 2017/II/101 |
ISBN/ISSN | |
Author(s) | Mu'ammar, Ghulam |
Subject(s) | DISTRIBUTION MANAGEMENT SUPPLY CHAIN MANAGEMENT Ship Scheduling Problem |
Classification | 658.7 Mu'a s |
Series Title | GMD | Tugas Akhir |
Language | Inggris |
Publisher | Departemen Teknik Industri FTI-ITS |
Publishing Year | 2017 |
Publishing Place | Surabaya |
Collation | |
Abstract/Notes | Cement products are one of the most demanding product for infrastructure building. The high demand for cement products in Indonesia has led PT Semen Indonesia as one of the biggest cement manufacturers in the country to do improvement in any possible sectors of the business, including the distribution process. In order to get the optimum distribution process, it is required to minimize its costs by optimizing the delivery schedule made by the company. The possible cost reduction is obtained by making use of the delivery trip by carrying other shipments to the origin port. The possibility of multi-company integration enables PT Semen Indonesia to cooperate with other company to share the use of the vehicle in the distribution process. This opportunity is considered in this research to minimize the total cost of each delivery. This research is focused on building the right model to schedule each departure of the shipment made by PT Semen Indonesia, considering the opportunity to carry any shipments back to the origin port. In order to get those considerations in the calculation, the Priced Timed Automata (PTA) modelling is developed and UPPAAL CORA software is utilized. The real time system verifier PTA will mainly consider these factors: the cost and the time required to complete the distribution process. The model is chosen regarding the ability to find the optimal solution for the scheduling problem. Using the software, it can be obtained the optimal scheduling of the ship departure for a certain period of time by choosing the best trace of all possible traces through the branch and bound algorithm. By determining the departure time of each shipment, the total cost of delivery can be minimized. It is generated an Excel VBA interface to make it easier for PT Semen Indonesia to use the UPPAAL CORA software. |
Specific Detail Info | Priced Timed Automata, Ship Scheduling Problem, Supply Chain Management, UPPAAL CORA. |
Image | |
File Attachment | LOADING LIST... |
Pembimbing | Dr. Eng. Ir. Ahmad Rusdiansyah, M.Eng, CSCP, CLTD., Dr. Dieky Adzkiya, S.Si, M.Si. |
Volume | |
Availability | LOADING LIST... |
Back To Previous |