Claim Missing Document
Check
Articles

Found 3 Documents
Search

IMPLEMENTASI ALGORITMA A* DALAM PENENTUAN RUTE TERPENDEK (Studi Kasus : Jarak Tempuh Desa Sridadi Rembang Menuju Universitas Billfath Lamongan) Rohmawati, Dewi Putri; Ngastiti, Pukky Tetralian Bintining; Sya'diyah, Zumrotus
MATHunesa: Jurnal Ilmiah Matematika Vol. 12 No. 3 (2024)
Publisher : Universitas Negeri Surabaya

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.26740/mathunesa.v12n3.p646-653

Abstract

KESTABILAN MODEL PETRI NET DARI SISTEM PEMBAYARAN TAGIHAN LISTRIK PT. PLN (Persero) RAYON AMBON TIMUR Sya'diyah, Zumrotus
BAREKENG: Jurnal Ilmu Matematika dan Terapan Vol 15 No 4 (2021): BAREKENG: Jurnal Ilmu Matematika dan Terapan
Publisher : PATTIMURA UNIVERSITY

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (457.751 KB) | DOI: 10.30598/barekengvol15iss4pp601-606

Abstract

This research develops the previous one of the electricity bill payment system in PT. PLN (Persero) Rayon East Ambon modelled by Petri Net. The previous researcher had built the Petri Net model of this payment system. In this research, we determine whether the system modelled before is stable or not. This stability will be analysed using the Lyapunov stability theory related to the Petri Net. The result shows that the electricity bill payment system modelled by Petri Net before is not stable but can be stabilized. This can be caused there is a transition which is ‘always enable’ in the modelled which is built. This research also performs a stable model of Petri Net that represents the electricity bill payment system with deleting the ‘always enable’ transition
MAX PLUS ALGEBRA OF TIMED PETRI NET FOR MODELLING SINGLE SERVER QUEUING SYSTEMS Sya'diyah, Zumrotus
BAREKENG: Jurnal Ilmu Matematika dan Terapan Vol 17 No 1 (2023): BAREKENG: Journal of Mathematics and Its Applications
Publisher : PATTIMURA UNIVERSITY

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (442.901 KB) | DOI: 10.30598/barekengvol17iss1pp0155-0164

Abstract

This research modified a single server queuing system using timed Petri net. We add two places, a transition and its appropriate arcs. This research also considered all the holding times in the timed Petri net. We found that the Petri net is not stable but stabilizable according to Lyapunov stability criteria. The standard autonomous equation of the system is also determined. Furthermore, this system also has the eigen value which related to its periodical behavior, it is . This means that the periodical behavior of the system only depends on the value of holding times of place W, R, B, and I.