Saputra, A. B. “Formal Model of Informatics Undergraduate Curriculum in Petri Nets”. Journal of Informatics and Communication Technology (JICT), vol. 4, no. 1, July 2022, pp. 56-68, doi:10.52661/j_ict.v4i1.104.