A. B. Saputra, “Formal Model of Informatics Undergraduate Curriculum in Petri Nets”, j_ict, vol. 4, no. 1, pp. 56–68, Jul. 2022.