Simbolon, Y.; Rumlawang, F.; Dahoklory, N.; Patty, H.; Taihuttu, P.; Wattimena, A. Z. Pemodelan Sistem Antrian Pelayanan BPJS (Badan Penyelenggara Jaminan Sosial) Menggunakan Petri Net Dan Aljabar Max-Plus. Tensor 2025, 6, 75-86.