Claim Missing Document
Check
Articles

Found 2 Documents
Search

Analisis Coverability Tree Petri Net Sistem Antrian Loket Pendaftaran Rumah Sakit X Di Kota Kupang Farly Oktriany Haning; Maria Lobo; Suci Rahmawati; Elisabeth Brielin Sinu
RANGE: Jurnal Pendidikan Matematika Vol. 4 No. 2 (2023): RANGE Januari 2023
Publisher : Pendidikan Matematika UNIMOR

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.32938/jpm.v4i2.3753

Abstract

Model petri net dari sistem antrian di loket pendaftaran pasian pada suatu rumah sakit di Kota Kupang telah dikonstruksi. Analisis coverability tree dari petri net tersebut perlu dilakukan untuk melihat apakah sistem yang telah dibangun sesuai dengan kenyataan dan dapat terus berlangsung (liveness) atau dapat terjadi deadlocks. Adapun langkah-langkah penelitian ini dimulai dengan melakukan studi literatur terkait analisis petri net dan pengamatan alur layanan pada loket pendaftaran pasien. Selanjutnya, membentuk petri net dari alur layanan menggunakan bantuan software PIPE.V.4.3.2.0. Kemudian matriks incidence diperoleh dengan mengurangkan entri pada matriks representasi forward incidence ( ) dengan entri matriks backward incidence ( ) dari petri net. Matriks digunakan untuk analisis coverability tree dengan menggunakan vektor keadaan awal ( ) sebagai simpul pertama dari tree. Simpul berikutnya dihasilkan jika terdapat transisi enable yang di-fire. Keadaan awal merupakan vektor keadaan saat belum ada transisi yang di-fire. Dinamika petri net yang terjadi dimodelkan dalam coverability tree. Hasil yang diperoleh adalah tidak terjadi deadlocks pada sistem karena selalu ada transisi yang enable atau dapat di-fire yaitu transisi kedatangan pasien. Pada coverabilty tree yang dihasilkan, keadaan setelah pendaftaran selesai dilakukan sama dengan vektor keadaan awal.
Optimasi Penjadwalan Shift Perawat Ruang Sal Anak dengan Metode Goal Programming di RSD Kalabahi Damaris Lalang; Elisabeth Brielin Sinu; Jumriati Kasim
Transformasi: Journal of Economics and Business Management Vol. 1 No. 4 (2022): December: Journal of Economics and Business Management
Publisher : Universitas 17 Agustus 1945 Semarang

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.56444/transformasi.v1i4.290

Abstract

Penelitian ini bertujuan untuk memodelkan metode goal programming pada penjadwalan shift perawat ruang perawatan anak dan untuk mengetahui implementasi metode goal programming dalam menyelesaikan penjadwalan shift perawat ruang perawatan anak di RSD Kalabahi. Penelitian ini dilakukan di Rumah Sakit Daerah Kalabahi dan waktu penelitiannya dimulai dari bulan Februari sampai bulan Juli 2022. Teknik pengumpulan data dilakukan melalui wawancara langsung Kepala Ruangan Perawatan Anak dan melalui teknik observasi yakni melalui pengamatan secara langsung pada kegiatan yang berhubungan dengan tugas-tugas perawat. Teknik analisis data yang digunakan adalah dengan metode Goal Programming dalam rangka menghasilkan penjadwalan yang optimal. Analisis data dilakukan dengan bantuan software Lingo 11.0. Hasil penelitian menunjukkan bahwa penjadwalan menggunakan metode goal programming memberikan hasil yang lebih optimal dan dapat memenuhi semua aturan kendala yang ada daripada penjadwalan yang dibuat secara manual oleh kepala ruangan di Rumah Sakit.