MODEL LAMPU LALU LINTAS SISTEM NORWEGIA DENGAN TIGA FASE MENGGUNAKAN PETRI NET

Abstract

Struktur perilaku kejadian diskrit sinyal lampu lalu lintas dapat dimodelkan menggunakan Petri net. Model juga memungkinkan untuk menyajikan singkronisasi penjadwalan beberapa fase lampu lalu lintas. Studi ini bertujuan untuk mempelajari model singkron lampu lalu lintas sistem Norwegia dengan tiga fase menggunakan Petri net. Beberapa properti Petri net dipakai untuk uji validasi dan verifikasi kebenaran dari model. Analisa model yang telah dibangun diantaranya meliputi sejumlah Place-Invariant dan simulasi. Model harus memenuhi properti keterbatasannya (boundedness), konservasinya (conservation), serta coverability untuk semua keadaan/ state. Hasil studi menyatakan bahwa Place-Invariant, simulasi, dan properti Petri net dapat menunjukkan bahwa model adalah benar serta layak. Model dengan strategi waktu tetap sistem Norwegia yang dipelajari dapat dikembangkan lebih lanjut untuk pemodelan lampu lalu lintas yang dilampiri pencacah waktu pada masing – masing sinyal.