Warning: Creating default object from empty value in /var/www/html/rbti/lib/lang/php-gettext/gettext.inc on line 148
Scheduling of Cement Distribution with Backhauls at PT. Semen Indonesia Using Priced Timed Automata
 
 
 
Select Language
Simple Search
Advanced Search
Title : Author(s) :
  • SEARCHING...
Subject(s) :
  • SEARCHING...
Pembimbing : Publish Year : GMD : Collection Type :
RECORD DETAIL
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