Pemodelan Prosedur Pembiayaan Menggunakan Petri Net (Studi Kasus: BMT Bima Cabang Pembantu Ngluwar Magelang).
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
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