Saintifik : Jurnal Matematika, Sains, dan Pembelajarannya
Vol 9 No 1 (2023): Saintifik: Jurnal Matematika, Sains, dan Pembelajarannya

Kestabilan Model Petri Net pada Sistem Antrian Bank Menggunakan Metode Lyapunov

Suci Rahmawati (Institut Sains dan Teknologi Nahdlatul Ulama Bali)
Farly Oktriany Haning (Universitas Nusa Cendana)
Dian Yuliati (Universias Islam Negeri Sunan Ampel Surabaya)
Windy Lestari (Institut Sains dan Teknologi Nahdlatul Ulama Bali)



Article Info

Publish Date
30 Jan 2023

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.

Copyrights © 2023