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: Pure and Applied Mathematics Journal, v. 6, n. 2, p. 75-86, 18 out. 2025.