Y. Simbolon, F. Rumlawang, N. Dahoklory, H. Patty, P. Taihuttu, and A. Z. Wattimena, “Pemodelan Sistem Antrian Pelayanan BPJS (Badan Penyelenggara Jaminan Sosial) Menggunakan Petri Net dan Aljabar Max-Plus”, Tensor, vol. 6, no. 2, pp. 75-86, Oct. 2025.