TY - THES N1 - 1. Dr. Muhammad Wakhid Musthofa, M.Si 2. Malahayati, M.Si ID - digilib23920 UR - https://digilib.uin-suka.ac.id/id/eprint/23920/ A1 - Resti Widiarni, NIM. 11610005 Y1 - 2016/08/08/ N2 - Antrian terjadi karena banyaknya pelanggan yang akan dilayani melebihi kapasistas layanan yang tersedia. Salah satu sistem antrian yang terjadi dalam kehidupan sehari-hari adalah sistem antrian nasabah bank untuk mendapatakan pelayanan. Terjadi berbagai macam transaksi di bank yakni transfer uang, simpan pinjam uang yang dilakukan di Teller dan pelayanan pembuatan rekening dalam bentuk buku atau kartu ATM (Anjungan Tunai Mandiri), pengaduan kesalahan dalam transaksi dilakukan di Customer Service (CS). Penting adanya alur sistem pelayanan nasabah bank agar tidak terjadi kekacauan saat melakukan transaksi atau pelayanan di bank sehingga dibentuklah model Petri Net. Petri Net merupakan suatu alat bantu untuk mempelajari sistem yang dapat dinyatakan secara matematis dalam bentuk jaringan Petri. Pembahasan ini bertujuan untuk mengetahui bagaimana representasi matriks dalam bentuk coverability tree pada alur pelayanan bank beserta model Aljabar Max-plusnya. Selain itu dapat memberikan informasi tentang Petri Net dan software WoPeD yang belum dikenal banyak kalangan untuk dipelajari lebih lanjut. Penelitian ini dilakukan dengan mengidentifikasi masalah, membuat diagram alur proses kejadian, membentuk model Petri Net serta coverability tree, dan persamaan Aljabar Max-Plus. Hasil penelitian ini menunjukkan keadaan-keadaan nasabah ketika melakukan proses pelayanan dalam bentuk coverability tree. Kemudian dibentuk model persamaan Aljabar Max-plus untuk mengetahui waktu yang dibutuhkan nasabah untuk mendapatkan pelayanan, dan simulasi pola kerja alur pelayanan nasabah bank dengan kedatangan nasabah berhingga atau tak berhingga menggunakan software WoPeD (Workflow Petri Net Designer). Kata Kunci : Teori Antrian, Petri Net, Coverability tree, Aljabar Max-plus PB - UIN Sunan Kalijaga KW - Teori Antrian KW - Petri Net KW - Coverability tree KW - Aljabar Max-plus M1 - skripsi TI - PEMBENTUKAN MODEL PETRI NET DAN ALJABAR MAX-PLUS PADA ALUR PELAYANAN NASABAH BANK AV - restricted ER -