S. R. Pramesthi, “PENERAPAN PETRI NET PADA SISTEM ARUS LALU LINTAS”, BAREKENG: J. Math. & App., vol. 15, no. 1, pp. 193-202, Mar. 2021.