Analisis Emergency Stop Kereta Tambang Bawah Tanah Otonom Dengan Metode Petri Net Dan Coverability Tree

Hidayat, Muhammad Akbar Makarim (2023) Analisis Emergency Stop Kereta Tambang Bawah Tanah Otonom Dengan Metode Petri Net Dan Coverability Tree. Other thesis, Institut Teknologi Sepuluh Nopember.

Text 07111840000122-Undergraduate_Thesis.pdf - Accepted Version Restricted to Repository staff only until 1 April 2025. Download (4MB)

Abstract

Pada tambang Freeport Indonesia khususnya di GBC (Grasberg Block Cave) menggunakan kereta untuk memindahkan material-material tambang dengan jumlah yang banyak. Emergency stop akan membuat kereta berhenti secara otomatis untuk menghindari terjadinya kerusakan pada kereta serta lingkungan sekitar kereta tersebut. Oleh karena itu, diperlukannya analisis mengenai emergency stop kereta otonom menggunakan metode petri net serta fault tree analysis Untuk mengetahui proses kerjanya Emergency Stop LOCO#09. Akan dipelajari teori tentang Petri Net serta Coverability Tree yang diaplikasikan pada analisis emergency stop kereta otonom. Pengumpulan data dari perusahaan tambang PT Freeport Indonesia mengenai Emergency Stop yang terjadi pada kereta otonom. Pada bagian ini dilakukan penyusunan alur Petri Net dari data yang telah dikumpulkan, yaitu data Emergency Stop kereta otonom pada tambang PT Freeport Indonesia. Selanjutnya dilakukan penyusunan model Coverability Tree yang didasari oleh alur petri net yang telah disusun. Hingga analisis Emergency Stop kereta otonom menggunakan Petri Net
=====================================================================================================================================
At the Freeport Indonesia mine, especially at the GBC (Grasberg Block Cave), trains are used to move large quantities of mining materials. Emergency stop will make the train stop automatically to avoid damage to the train and the environment around the train. Therefore, it is necessary to analyze the emergency stop of autonomous trains using the petri net method and fault tree analysis to find out the working process of Emergency Stop LOCO#09. The theory of Petri Net and Coverability Tree will be studied which will be applied to the analysis of emergency stops for autonomous trains. Data collection from the mining company PT Freeport Indonesia regarding Emergency Stops that occur on autonomous trains. In this section, the arrangement of the Petri Net flow is carried out from the data that has been collected, namely the Emergency Stop data for autonomous trains at the PT Freeport Indonesia mine. Furthermore, a Coverability Tree model was developed based on the petri net flow that had been prepared. Until the analysis of Emergency Stop autonomous trains using Petri Net

Item Type:	Thesis (Other)
Uncontrolled Keywords:	Emergency Stop, Petri Net, Coverability Tree
Subjects:	T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK1007 Electric power systems control
Divisions:	Faculty of Intelligent Electrical and Informatics Technology (ELECTICS) > Electrical Engineering > 20201-(S1) Undergraduate Thesis
Depositing User:	Muhammad Akbar Makarim Hidayat
Date Deposited:	04 Feb 2023 09:48
Last Modified:	04 Feb 2023 09:48
URI:	http://repository.its.ac.id/id/eprint/96175

Actions (login required)

View Item