Farly Oktriany Haning
Universitas Nusa Cendana

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

Kestabilan Model Petri Net pada Sistem Antrian Bank Menggunakan Metode Lyapunov Suci Rahmawati; Farly Oktriany Haning; Dian Yuliati; Windy Lestari
SAINTIFIK Vol 9 No 1 (2023): Saintifik: Jurnal Matematika, Sains, dan Pembelajarannya
Publisher : Universitas Sulawesi Barat

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.31605/saintifik.v9i1.418

Abstract

Penelitian ini mengembangkan dari hasil penelitian tentang pemodelan sistem antrian di salah satu cabang bank x dengan menggunakan coloured petri nets. Penelitian sebelumnya memutuhkan waktu yang cukup lama untuk memperoleh lama waktu pelayanan untuk digunakan sebagai validasi model tersebut. Pada penelitian ini akan dikonstruksi model sistem antrian yang sama dengan penelitian sebelumnya menggunakan media pemodelan yang berbeda yang lebih sederhana namun mampu merepresentasikan keadaan dan alur sistem yang sama seperti pada penelitian sebelumnya. Dalam penelitian ini akan dikonstruksi model sistem antrian bank menggunkan Petri Net. Selanjutnya akan dianalisa kestabilan dari model Petri Net pada sistem antrian bank menggunakan kestabilan Lyaunov yang berkenaan denga Petri Net. Hasil analisis kestabilan model sistem yang diperoleh pada penelitian ini menunjukkan bahwa model yang dibentuk menggunakan Petri Net merupakan model yang tidak stabil dan tidak dapat distabilkan. Model tidak stabil disebabkan oleh adanya transisi yang bersifat always enable.
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.