Open AccessKESTABILAN MODEL PETRI NET DARI SISTEM PEMBAYARAN TAGIHAN LISTRIK PT. PLN (Persero) RAYON AMBON TIMUR
Author(s) -
Zumrotus Sya’diyah
Publication year - 2021
Publication title -
barekeng
Language(s) - English
Resource type - Journals
eISSN - 2615-3017
pISSN - 1978-7227
DOI - 10.30598/barekengvol15iss4pp601-606
Subject(s) - petri net , payment , stability (learning theory) , electricity , petri dish , computer science , stochastic petri net , net (polyhedron) , operating system , mathematics , algorithm , engineering , electrical engineering , machine learning , biology , world wide web , genetics , geometry
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