Article Per Year (5 Year)
p-Index From 2019 - 2024
0.408
P-Index
This Author published in this journals
All Journal Journal of Informatics and Communication Technology (JICT) Journal of Informatics and Communication Technology (JICT)
Aditya Bagoes Saputra
Institut Teknologi Telkom Jakarta
Computer Science & IT Decision Sciences, Operations Research & Management Education Engineering Mathematics

Published : 2 Documents Claim Missing Document
Claim Missing Document
Check
Articles

Found 2 Documents
Search

 1 
Formal Model of Informatics Undergraduate Curriculum in Petri Nets Aditya Bagoes Saputra
Journal of Informatics and Communication Technology (JICT) Vol 4 No 1 (2022)
Publisher : PPM Institut Teknologi Telkom Telkom Jakarta

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.52661/j_ict.v4i1.104

Abstract

The academic system in the undergraduate program of Informatics, Bandung Telkom Institute of Technology (now Telkom University) defines rules and procedures of curriculum and study program, evaluation of study, academic council, counseling, and registration. The curriculum and study program explain the courses. This paper develops formal model and model analysis of this curriculum in Petri nets. The result of this is the Petri nets model and its analysis to check properties based on the courses and curriculum. The course prerequisite model and curriculum follow the academic system, not deadlocked, and not reversible.
Formal Model of Informatics Undergraduate Curriculum in Petri Nets Aditya Bagoes Saputra
Journal of Informatics and Communication Technology (JICT) Vol. 4 No. 1 (2022)
Publisher : PPM Telkom University

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.52661/j_ict.v4i1.104

Abstract

The academic system in the undergraduate program of Informatics, Bandung Telkom Institute of Technology (now Telkom University) defines rules and procedures of curriculum and study program, evaluation of study, academic council, counseling, and registration. The curriculum and study program explain the courses. This paper develops formal model and model analysis of this curriculum in Petri nets. The result of this is the Petri nets model and its analysis to check properties based on the courses and curriculum. The course prerequisite model and curriculum follow the academic system, not deadlocked, and not reversible.
Co-Authors