Open AccessAPLIKASI PETRI NET PADA SISTEM PEMBAYARAN TAGIHAN LISTRIK PT. PLN (Persero) RAYON AMBON TIMUR
Author(s) -
Freya N. Wattimena,
Thomas Pentury,
Yopi Andry Lesnussa
Publication year - 2012
Publication title -
barekeng
Language(s) - English
Resource type - Journals
eISSN - 2615-3017
pISSN - 1978-7227
DOI - 10.30598/barekengvol6iss1pp23-30
Subject(s) - petri net , sketch , operating system , stochastic petri net , computer science , event (particle physics) , programming language , algorithm , physics , quantum mechanics
Petri Net is a model of Mathematics used in the system event discrit to illustrate certain event. One application of Petri Nets is to sketch the entrance occurs in a place like the public service system. This reserce will simply describe the use of Petri Net to sketch the entrance occurs in electricity bill payment system of PT.PLN (Persero) Rayon Ambon Timur by the number of place is 7 and the transition is 8, and to determine the matrix representation and the coverability tree of the model.