Saputra, A. B. Formal Model of Informatics Undergraduate Curriculum in Petri Nets. j_ict 2022, 4, 56-68.