"PLACE-INVARIANT" PADA MODEL PETRI NET LAMPU LALU LINTAS

Abstract

Petri net merupakan salah satu manifestasi dari System Event Discrete (SED) yang dapat dipergunakan untuk pemodelan sebuah sistem. Model harus benar atau tidak boleh keliru. "Place-Invariant" adalah sebuah sarana yang dapat digunakan untuk verifikasi dan validasi kebenaran sebuah model Petri net. "Place-Invariant" menyajikan kesamaan marking/ penandaan pada beberapa place pada model Petri net pada sebuah bilangan bulat tertentu. Penelitian ini bertujuan untuk mengkaji bagaimana cara membangun "Place-Invariant" lampu lalu lintas berdasarkan matriks kejadian lampu lalu lintas dengan dua fase. Adapun metode pendekatannya yaitu lampu lalu lintas dimodelkan secara grafis menggunakan perangkat lunak Petri net Simulator 2.0. Selanjutnya, dikonstruksi matriks keterhubungan/ Incidence yang dipergunakan untuk membangun coverability tree. Matriks kejadian yang dikonstruksi dari coverability tree digunakan sebagai referensi penyusunan "Place-Invariant". Hasil kajian menunjukkan bahwa "Place-Invariant" secara implisit telah tergambar pada matriks kejadian/ events. Metodenya yaitu dengan mengelompokkan beberapa elemen matriks kejadian. "Place-Invariant" merupakan penyajian matriks kejadian secara parsial. "Place-Invariant" yang dikonstruksi dapat dipergunakan untuk verifikasi dan validasi kebenaran model.