Perpustakaan Digital ITB

Abstrak: Dalam tesis ini diaplikasikan metode Coloured Petri Nets (CPN) untuk mengatur lalu-lintas kereta api khususnya pada jalur antara stasiun Jakartakota sampai stasiun Bogor. Dengan metode CPN dibuat suatu model lalu-lintas perjalanan kereta api yang meliputi stasiun-stasiun besar antara lain: stasiun Jakartakota, Gambir, Manggarai, Pasarminggu, Depokbaru, Depok dan Bogor. Untuk menguji kebenaran dari model, dibuat perangkat lunak yang mensimulasikan lalu-lintas perjalanan kereta api berdasarkan model tersebut. Dari hasil percobaan yang dilakukan, kondisi deadlock dan trapping (terjebak) dapat dihindari, dan keselamatan perjalanan dan overtaking (mendahului) dapat dipenuhi. Dengan demikian melalui pemodelan CPN pengaturan lalu-lintas kereta api menjadi lebih mudah dipahami dan dievaluasi.