PEMODELAN PROSEDUR PEMBIAYAAN MENGGUNAKAN PETRI NET (Studi Kasus: BMT Bima Cabang Pembantu Ngluwar Magelang) SKRIPSI Diajukan untuk memenuhi sebagian persyaratan mendapatkan gelar Strata Satu Program Studi Informatika
Disusun oleh :
DANIA FAASKARINI M0512009
PROGRAM STUDI INFORMATIKA FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM UNIVERSITAS SEBELAS MARET
SURAKARTA 2016
SKRIPSI
PEMODELAN PROSEDUR PEMBIAYAAN MENGGUNAKAN PETRI NET (Studi Kasus BMT Bima Cabang Pembantu Ngluwar Magelang)
Disusun Oleh :
DANIA FAASKARINI NIM. M0512009
Skripsi ini telah disetujui untuk dipertahankan di hadapan Dewan Penguji pada tanggal 20 Desember 2016
Pembimbing I
Pembimbing II
Drs. YS. Palgunadi, M. Sc.
Abdul Aziz, S.Kom., M.Cs
NIP. 19560407 198303 1 004
NIP. 19810413 200501 1 001
ii
iii
SKRIPSI
PEMODELAN PROSEDUR PEMBIAYAAN MENGGUNAKAN PETRI NET (Studi Kasus BMT Bima Cabang Pembantu Ngluwar Magelang) Disusun Oleh : DANIA FAASKARINI NIM. M0512009
telah dipertahankan di hadapan Dewan Penguji pada tanggal 20 Desember 2016
Susunan Dewan Penguji 1. Drs. YS. Palgunadi, M. Sc. NIP. 19560407 198303 1 004
(Ketua)
(
)
2. Abdul Aziz, S.Kom., M.Cs NIP. 19810413 200501 1 001
(Sekretaris)
(
)
3. Rini Anggrainingsih S.T., M.T. (Anggota) NIP. 19780909 200812 2 002
(
)
4. Ristu Saptono,S.Si, M.T. NIP. 19790210 200212 1 001
(
)
(Anggota)
Disahkan Oleh Kepala Program Studi Informatika
Drs. Bambang Harjito M.App.Sc, Ph.D. NIP. 19621130 199103 1 002
iv
MOTTO
ْ ْا ا
ا
ا
ْ ا ا
ُ ا ا
ُ اْ ً ا
):2:26( َل ُيك ِّلف هللا نفسا ِّإَل ُو ْس اع اها ل اها اما ك اسبت او اعل ْي اها اما اكت اسبت “Allah tidak membebani seseorang melainkan sesuai kesanggupannya. Dia mendapat (pahala) dari (kebajikan) yang dikerjakannya dan dia mendapat (siksa) dari (kejahatan) yang diperbuatnya.” Q.S Al Baqarah (2) : 286
ُ ْا
ا
ا
ا
ا
اا
ا
)11211( ِّإن هللا َل ُيغ ِّي ُر اما ِّبق ْو ٍم احتى ُيغ ِّي ُروا اما ِّبأنف ِّس ِّه ْم “Sesungguhnya Allah tidak akan mengubah keadaan suatu kaum hingga mereka mengubah yang ada pada diri mereka sendiri” Q.S Ar Ra’d (13) : 11
v
PERSEMBAHAN
Untuk yang tersayang Bapak, Ibu, Ihsan, Nayla
vi
KATA PENGANTAR
Puji syukur ke hadirat Allah SWT yang telah melimpahkan rahmat dan hidayah-Nya sehingga penulis dapat menyelesaikan penulisan laporan skripsi dengan judul “Pemodelan Prosedur Pembiayaan Menggunakan Petri Net”. Ucapan terima kasih penulis ucapkan kepada semua pihak yang senantiasa mendukung mulai dari tahap penelitian hingga penulisan laporan ini, terutama kepada : 1. Bapak, Ibu, Ihsan, dan Nayla yang senantiasa memberikan dukungan, motivasi, dan doa yang tiada putus-putusnya. 2. BMT Bima Cabang Pembantu Ngluwar Magelang sebagai tempat studi kasus penulis untuk memperoleh prosedur pembiayaan. 3. (Alm) Ustadz Yusron selaku penghubung penulis dengan pihak BMT Bima. 4. Bapak Drs. Sarngadi Palgunadi, M.Sc. sebagai pembimbing I yang dengan sabar membimbing dari mulai belum mengerti sama sekali hingga penyelesaian tugas akhir. 5. Bapak Abdul Aziz, S.Kom., M.Cs sebagai pembimbing II atas masukan, saran, dan dukungannya yang sangat berarti bagi penulis. 6. Ibu Rini Anggrainingsih, S.T., M.T. dan Bapak Ristu Saptono,S.Si, M.T. sebagai penguji atas ketersediaan waktunya untuk menguji tugas akhir penulis. 7. Ibu Esti Suryani, S.Si., M.Kom. sebagai pembimbing akademik yang telah membimbing penulis sejak semester 1. Semoga Allah SWT senantiasa memberikan hidayah dan balasan yang lebih baik. Aamiin. Penulis berharap semoga karya ini dapat bermanfaat bagi pembaca. Surakarta, Desember 2016 Penulis
vii
PEMODELAN PROSEDUR PEMBIAYAAN MENGGUNAKAN PETRI NET (Studi Kasus BMT Bima Cabang Pembantu Ngluwar Magelang)
DANIA FAASKARINI
Program Studi Informatika. Fakultas MIPA. Universitas Sebelas Maret Pembiayaan merupakan salah satu kegiatan utama perbankan dimana besarnya jumlah pembiayaan yang disalurkan akan menentukan keuntungan bank, jika bank tidak mampu menyalurkan pembiayaan sedangkan dana yang terhimpun dari nasabah banyak maka akan menyebabakan bank tersebut mengalami kerugian. Pada penelitian ini dilakukan pemodelan proses bisnis prosedur pembiayaan di BMT Bima Cabang Pembantu Ngluwar Magelang menggunakan BPMN (Business Process Modeling Notation) untuk menggambarkan kondisi sebenarnya dari prosedur tersebut. Prosedur pembiayaan terdiri dari enam sub-prosedur yaitu sub-prosedur pengajuan, sub-prosedur analisa, sub-prosedur penetapan akad, subprosedur pencairan, sub-prosedur angsuran, dan sub-prosedur pelunasan. BPMN belum memiliki fitur untuk menganalisa workflow sehingga diperlukan analisis tambahan untuk mengetahui apakah proses bisnis tersebut sudah terbebas dari kesalahan. Salah satu metode yang dapat digunakan untuk menganalisa workflow adalah petri net. Struktur pada petri net dapat digunakan untuk menemukan error dalam workflow sehingga workflow yang dibuat terbebas dari deadlock dan livelock. Petri net memiliki banyak teknik analisis seperti soundness, liveness, dan boundedness. Dalam penelitian ini model petri net telah dibuat untuk seluruh prosedur. Model-model tersebut sudah terbebas dari deadlock dan livelock serta memenuhi kriteria soundness, liveness, dan boundedness. Aplikasi untuk simulasi pembiayaan telah dibuat dan dapat mencatat event log sesuai posisi place dan transition sesuai proses yang dilakukan masing-masing nasabah. Dari 100 data yang dimasukkan terdapat 76 nasabah lolos tahap pengajuan, 38 nasabah lolos tahap analisa, 26 nasabah melewati tahap penetapan akad dan pencairan, 20 nasabah sudah selesai melakukan pembiayaan dan telah menerima pengembalian jaminan, 5 nasabah mengalami masalah angsuran, dan 1 nasabah masih memiliki angsuran. Kata kunci : pembiayaan, Petri Net, pemodelan proses bisnis, BMT
viii
LOAN PROCEDURE MODELING USING PETRI NET (Case Study: BMT Bima Cabang Pembantu Ngluwar Magelang)
DANIA FAASKARINI
Department of Informatic. Mathematic and Science Faculty. Sebelas Maret University
Loan is one of the main activities of the bank. The number of loans is distributed by the bank will determine the profit of the bank. If the bank unable to distribute loan while there are a lot of funds collected from customers, it will be causing loss to the bank. In this research, we model the loan procedures in BMT Bima using BPMN (business process modeling notation) to describe the real condition of the procedures. The loan procedure consists of six sub-procedures, there are the application sub-procedure, analysis sub-procedure, contract determination subprocedure, disbursement sub-procedure, installment sub-procedure, and settlement sub-procedure. There is no feature to analyze workflow in BPMN so we need additional analysis to determine whether there is an error in the business process. One of the method that can be used to analyze workflow is Petri Net. The Petri Net structure can be used to find an error in the workflow so the workflow is free from deadlock and livelock. Petri Net has a lot of analytical techniques such as soundness, liveness and, boundedness. In this study Petri Net models have been created for the entire procedure. The six models are already free from deadlock and livelock and meet the criteria of soundness, liveness, and boundedness. Application for loan simulation has been created and it could record the event log according to the position of the place and the transitions of each customer. From 100 entered data, there are 76 customers passed the application stage, 38 customers passed the analysis stage, 26 customers passed the contract determination stage and disbursement stage, 5 customers experiencing repayment issues, and 1 customer still has installments. Key words : loan, Petri Net, business process modeling, BMT