PRAMESTHI, S. R. PENERAPAN PETRI NET PADA SISTEM ARUS LALU LINTAS. BAREKENG: Jurnal Ilmu Matematika dan Terapan, v. 15, n. 1, p. 193-202, 1 mar. 2021.