Jaringan jalur bus dalam kota merupakan salah satu fasilitas transportasi umum yang memegang peranan penting dalam kehidupan masyarakat kota yang mempunyai karakteristik mobilitasnya cukup tinggi. Jaringan bus TransJakarta (Busway) di Jakarta merupakan salah satu contohnya. Jaringan bus tersebut dibangun antara lain sebagai solusi permasalahan di sektor angkutan umum dan memberikan pilihan solusi untuk mengatasi kemacetan lalu lintas di Jakarta. Salah satu masalah penting dalam sistem transportasi tersebut yang menjadi keluhan masyarakat adalah mengenai ketidakpastian waktu tunggu kedatangan bus di tiap-tiap halte, hal ini dimungkinkan antara lain karena belum adanya penjadwalan yang baik pada sistem tersebut. Dalam penelitian ini akan dilakukan penjadwalan keberangkatan bus menggunakan pendekatan aljabar max-plus dengan terlebih dahulu mengkontruksi model sistem dengan Petrinet. Studi kasus dalam penelitian ini adalah jaringan bus TransJakarta. Dari penelitian ini diharapkan memperoleh desain jadwal keberangkatan bus di tiap halte pada masing-masing koridor