APLIKASI PETRI NET PADA SISTEM PEMBAYARAN TAGIHAN LISTRIK PT. PLN (Persero) RAYON AMBON TIMUR
Abstract
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.
Downloads
References
David, R dan H. Alla. 1992. Discret, Continuous and Hybrid Petri Nets. Springer. Germany.
Kordache, M dan P.J.Antsalis. 2006. Supervisiory Control of Concurrent System. Birkhauser. Amerika.
Moen. A. 2003. Introduction to Petri Nets-Part 1. Berlin.
Murata, T. 1989. Petri Nets : Properties, Analysis and Aplication. Proceeding of the IEEE.
Nurwan dan Subiono. 2008. Model Petri Net Antrian Klinik Kesehatan Serta Kajian Dalam Aljabar Max Plus. ITS, Surabaya.
Peterson.J.L. 1981. Teori Petri Net dan Pemodelan Sistem. Pretince Hall. New York.
Tjahyono, H. 1998. Aplikasi Jaringan Petri dan Manufaktur Sistem; Pemodelan, Pengendalian dan Analisis Kinerja. IEEE press. http://daimi.au.dk/Petrinets, Tgl 30 Mei 2011, Pkl.23.15.
Authors who publish with this Journal agree to the following terms:
- Author retain copyright and grant the journal right of first publication with the work simultaneously licensed under a creative commons attribution license that allow others to share the work within an acknowledgement of the work’s authorship and initial publication of this journal.
- Authors are able to enter into separate, additional contractual arrangement for the non-exclusive distribution of the journal’s published version of the work (e.g. acknowledgement of its initial publication in this journal).
- Authors are permitted and encouraged to post their work online (e.g. in institutional repositories or on their websites) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published works.